Pubblicazioni scientifiche selezionate

Export 3 results:
Ordina per: Autore Titolo Tipo [ Anno (Desc)]
2012
Bagnara R, Mesnard F, Pescetti A, Zaffanella E.  2012.  The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. Abstract  Scarica: BagnaraMPZ12TR.pdf (561.17 KB)
2008
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2008.  On the Design of Generic Static Analyzers for Imperative Languages. Abstract  Scarica: BagnaraHPZ08.pdf (632.79 KB)
2007
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2007.  Verification of C Programs Via Natural Semantics and Abstract Interpretation. Proceedings of the C/C++ Verification Workshop. :75–80.