The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems 论文
2008Science of Computer Programming引用 466
Formal Methods in VerificationEmbedded Systems Design TechniquesRadiation Effects in Electronics