✦ LIBER ✦

Verification by Augmented Finitary Abstraction

✍ Scribed by Yonit Kesten; Amir Pnueli

Book ID: 112252558
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 556 KB
Volume: 163
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2000.3000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Erratum: Volume 163, No. 1 (2000), in th

Erratum: Volume 163, No. 1 (2000), in the article “Verification by Augmented Finitary Abstraction,” by Yonit Kesten and Amir Pnueli, pages 203–243

📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 53 KB

Verification by Augmented Abstraction: T

Verification by Augmented Abstraction: The Automata–Theoretic View

✍ Yonit Kesten; Amir Pnueli; Moshe Y. Vardi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 371 KB

This paper deals with the proof method of verification by finitary abstraction (vfa), which presents an alternative approach to the verification of (potentially infinite-state) reactive systems. We assume that the negation of the property to be verified is given by the user in the form of an infinit

Characterization of a sequentially consi

Characterization of a sequentially consistent memory and verification of a cache memory by abstraction

✍ Susanne Graf 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 206 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Verification by Abstraction

✍ Aichernig, Bernhard K.; Maibaum, Tom 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 213 KB

[Lecture Notes in Computer Science] High

[Lecture Notes in Computer Science] Higher Order Logic Theorem Proving and Its Applications Volume 859 || Automating verification by functional abstraction at the system level

✍ Melham, Thomas F.; Camilleri, Juanito 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 702 KB

ChemInform Abstract: Accurate Carbocatio

ChemInform Abstract: Accurate Carbocation Structures: Verification of Computed Geometries by NMR, IR, and X-Ray Diffraction

✍ P. VON RAGUE SCHLEYER; C. MAEKER; P. BUZEK; S. SIEBER 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 27 KB 👁 1 views