Skip to Main Content Area

Languages

Latest news

2013/04/04
Invited talk at Int'l Conf. on Quality Software
2013/01/13
BUGSENG active in international conferences
2012/12/14
New paper to be presented at ICST 2013
2012/06/28
PPL 1.0 has been released
2012/06/01
BUGSENG selected ACE's SuperTest

Selected Scientific Publications

Export 3 results:

BibTex

Sort by: Author Title [ Type

] Year

Report

Bagnara R, Mesnard F, Pescetti A, Zaffanella E. 2012. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. Abstract

Download: BagnaraMPZ12TR.pdf (561.17 KB)

Miscellaneous

Bagnara R, Hill PM, Pescetti A, Zaffanella E. 2008. On the Design of Generic Static Analyzers for Imperative Languages. Abstract

Download: BagnaraHPZ08.pdf (632.79 KB)

Conference Paper

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.