Exploiting heap symmetries in explicit-state model checking of software
- 24 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 254-261
- https://doi.org/10.1109/ase.2001.989811
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Model checking programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Using Garbage Collection in Model CheckingPublished by Springer Nature ,2000
- Exploiting Symmetry When Model-Checking SoftwarePublished by Springer Nature ,1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Concurrency of operations on B-treesActa Informatica, 1977
- A Simple Algorithm for Global Data Flow Analysis ProblemsSIAM Journal on Computing, 1975