Verification of Erlang programs using abstract interpretation and model checking
- 1 September 1999
- conference paper
- 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 InterpretationsLecture Notes in Computer Science, 1998
- Behaviour analysis and safety conditions: A case study in CMLPublished by Springer Science and Business Media LLC ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Communication Analysis for Concurrent MLPublished by Springer Science and Business Media LLC ,1997
- An automata-theoretic approach to linear temporal logicPublished by Springer Science and Business Media LLC ,1996
- The concurrency workbenchLecture Notes in Computer Science, 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