AuthorInternational Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.)
TitleComputer 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

CONTENT

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


SUBJECT

  1. Computer software -- Verification -- Congresses
  2. Integrated circuits -- Verification -- Congresses
  3. Electronic digital computers -- Evaluation -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)005.14 I61C 2003 CHECK SHELVES