Verification of Erlang programs using abstract interpretation and model checking
- 1 September 1999
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (9) , 261-272
- https://doi.org/10.1145/317636.317908
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Filter-based model checking of partial systemsPublished by Association for Computing Machinery (ACM) ,1998
- Program Analysis as Model Checking of Abstract InterpretationsPublished by Springer Nature ,1998
- Behaviour analysis and safety conditions: A case study in CMLPublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Communication Analysis for Concurrent MLPublished by Springer Nature ,1997
- An automata-theoretic approach to linear temporal logicPublished by Springer Nature ,1996
- The concurrency workbenchPublished by Springer Nature ,1990
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977