Lazy abstraction
Top Cited Papers
- 1 January 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurationsTheoretical Computer Science, 1999
- Symbolic verification with periodic setsPublished by Springer Nature ,1994