253 search results - page 1 / 51 » How to Transform an Analyzer into a Verifier |
LPAR
2001
Springer
13 years 9 months ago
2001
Springer
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
AMR
2007
Springer
13 years 11 months ago
2007
Springer
During last years, local image descriptors have received much attention because of their efficiency for several computer vision tasks such as image retrieval, image comparison, fea...
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
JAR
2008
13 years 5 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...