MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification by Abstract Interpretation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

An Experiment in Type Inference and Verification by Abstract Interpretation
by Roberta Gori, Giorgio Levi
…An experiment in type inference and verication by abstract interpretation Roberta Gori and Giorgio…
Cited by 1 (0 self) – Add To MetaCart

Temporal Property-driven Verification by Abstract Interpretation
by Damien Massé, Président Patrick Cousot, École Normale Supérieure (paris, Alan Mycroft, David A. Schmidt, Examinateur Roberto Giacobazzi, Université De Vérone (italie — 2002
… une Propriété Temporelle Temporal Property-driven Verification by Abstract Interpretation Président…
Add To MetaCart

Abstract Interpretation based Verification of Logic Programs
by Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe — 2000 — Science of Computer Programming
…Abstract Interpretation based Verification of Logic Programs Marco Comini, Roberta Gori, Giorgio…
Cited by 11 (5 self) – Add To MetaCart

A Wiley-Interscience Publication
by Gogul Balakrishnan, Advisor Prof, Thomas W. Reps — 1998
…Xecutables. In Proc. Conf. on Verification Model Checking and Abstract Interpretation (VMCAI), Nice, France, Jan 14…
Cited by 1 (0 self) – Add To MetaCart

How to Transform an Analyzer into a Verifier
by Marco Comini, Roberta Gori, Giorgio Levi — 2001 — Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR’01), volume 2250 of Lecture Notes in Artificial Intelligence
… the abstract interpretation concepts to the problem of verification of programs. We consider the theory…
Cited by 4 (3 self) – Add To MetaCart

or: A
by K. Rustan, M. Leino, Francesco Logozzo
… invariants. Another approach to program verification is abstract interpretation [5], a general static…
Add To MetaCart

C.: Inferring local (non-)aliasing and strings for memory safety
by Yannick Moy, Claude Marché, Inria Futurs Proval — 2007 — In: Heap Analysis and Verification (HAV’07
…, in the framework of abstract interpretation. We implemented our method in Caduceus, a tool for the verification…
Cited by 1 (1 self) – Add To MetaCart

A Framework for Combining Analysis and Verification
by Joxan Jaffar
…/efficiency tradeoff. Keywords: program verification, program analysis, abstract interpretation 1 Introduction We…
Cited by 1 (1 self) – Add To MetaCart

A Framework for Combining Analysis and Verification
by Nevin Heintze Bell, Joxan Jaffar, Razvan Voicu — 2000
… tradeoff. Keywords: program verification, program analysis, abstract interpretation 1 Introduction We…
Add To MetaCart

Testing, abstraction, theorem proving: better together
by Greta Yorsh — 2006 — In Software Testing and Analysis (ISSTA
…]: Software/Program Verification—abstract interpretation General Terms reliability, verification Keywords…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB