[Lecture Notes in Computer Science] Computer Aided Verification Volume 2725 || A Symbolic Approach to Predicate Abstraction

✍ Scribed by Hunt, Warren A.; Somenzi, Fabio

• Book ID: 111674879
• Publisher: Springer Berlin Heidelberg
• Year: 2003
• Tongue: English
• Weight: 263 KB
• Edition: 1
• Category: Article
• ISBN: 3540450696
• DOI: 10.1007/978-3-540-45069-6_15

✦ Synopsis

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.