Skip to main content
Search form
Search
Webinars
Blog
Contact
Support
PPL
eclairit.com
Toggle navigation
Eclair
Overview
Technical specification
Misra-C
Bug finder
Sample reports
SaaS
eclairit.com
Client Kit
Get a free trial
Qualification Kits
Industries
Automotive
Aerospace
Industrial
Railway
Medical
Agriculture & Forestry
Services
Consulting
Training
Verification Services
Technical support
Resources
Webinars
Documentation
Scientific publications
Company
About
News
Customers
Partners
Blog
Contact us
Careers
Academy
Selected Scientific Publications
Export 3 results:
BibTex
Author
Title
[
Type
]
Year
Filters:
Author
is
Andrea Pescetti
[Clear All Filters]
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.
Google Scholar
BibTex
Journal Article
Bagnara R
,
Mesnard F
,
Pescetti A
,
Zaffanella E
. 2012.
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
.
Google Scholar
BibTex
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
.
Google Scholar
BibTex
BagnaraHPZ08.pdf
(632.79 KB)