Author | International Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.) |
---|---|
Title | Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.) |
Imprint | Berlin : Springer, c2003 |
Descript | xii, 462 p. : ill. ; 24 cm |
Extending bounded model checking -- Symbolic model checking -- Games, trees, and counters -- Tool presentations -- Abstraction -- Dense time -- Infinite state systems -- Theorem proving -- Automata-based verification -- Invariants -- Explicit model checking
LOCATION | CALL# | STATUS |
---|---|---|
Central Library (4th Floor) | 005.14 I61C 2003 | CHECK SHELVES |