Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.)

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

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

Computer software -- Verification -- Congresses Integrated circuits -- Verification -- Congresses Electronic digital computers -- Evaluation -- Congresses

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

Chulalinet's Book Delivery Request