Property preserving abstractions for the verification of concurrent systems
- 1 January 1995
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 6 (1), 11-44
- https://doi.org/10.1007/bf01384313
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- Comparing the Galois connection and widening/narrowing approaches to abstract interpretationPublished by Springer Science and Business Media LLC ,2005
- Abstract interpretation of reactive systemsACM Transactions on Programming Languages and Systems, 1997
- Property preserving simulationsLecture Notes in Computer Science, 1993
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Specification and Validation of a Simple Overtaking Protocol using LOTOSPublished by Elsevier BV ,1992
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Safety for branching time semanticsLecture Notes in Computer Science, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979