Abstract interpretation of reactive systems: Abstractions preserving 8CTL , 9CTL and CTL (1994)

Cached

Download Links

by Dennis Dams , Orna Grumberg , Rob Gerth
Venue:Proceedings of the IFIP WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), IFIP Transactions
Citations:247 - 11 self

Active Bibliography

34 Refining Model Checking by Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1999
28 Abstract interpretation based formal methods and future challenges, invited paper – Patrick Cousot - 2001
190 Verification by abstract interpretation – Patrick Cousot - 2003
21 Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking – Régis Cridlig - 1995
5 An Efficient Simulation Algorithm based on Abstract Interpretation – Francesco Ranzato, Francesco Tapparo - 709
5 Abstract Interpretation in the Operational Semantics Hierarchy – D. A. Schmidt, David A. Schmidt - 1997
10 On abstraction in software verification – Patrick Cousot, Radhia Cousot - 2002
98 Computing abstractions of infinite state systems compositionally and automatically – S. Bensalem, Y. Lakhnech, S. Owre - 1998
Semantic Analysis of a Concurrent Pascal (Extended Abstract) – Régis Cridlig
40 Optimality in Abstractions of Model Checking – Rance Cleaveland, Purush Iyer, Daniel Yankelevich - 1995
Dynamic Partitioning in . . . -- Application To The Verification Of Reactive Systems – Bertrand Jeannet - 2000
16 Abstract Interpretation of Small-Step Semantics – David A. Schmidt - 1996
101 Synchronous Observers and the Verification of Reactive Systems – Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond - 1993
1 Abstraction as the Key for Invariant Verification – Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate
4 Automatic Abstraction in Model Checking – Yuan Lu - 2000
598 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
1 Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming – Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato
ACM Workshop on Strategic Directions in Computing Research – Mit Laboratory, Patrick Cousot
3 Program Analysis Position Statement: The Abstract Interpretation Perspective – P. Cousot - 1996