Tool-supported program abstraction for finite-state verification
- 29 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1254, 177-187
- https://doi.org/10.1109/icse.2001.919092
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Finding Feasible Counter-examples when Model Checking Abstracted Java ProgramsPublished by Springer Nature ,2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Slicing Software for Model ConstructionHigher-Order and Symbolic Computation, 2000
- Verification of time partitioning in the DEOS scheduler kernelPublished by Association for Computing Machinery (ACM) ,2000
- Filter-based model checking of partial systemsPublished by Association for Computing Machinery (ACM) ,1998
- Modularization and abstraction: The keys to practical formal verificationPublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977