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

SUBJECT

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

Office of Academic Resources
Chulalongkorn University

254 Phayathai Road, Pathumwan, Bangkok 10330 Thailand

Library Service 0-2218-2929, 0-2218-2927

Administrative Division 0-2218-2903

Fax. 0-2215-3617

Suggestions

Staff Only

Complaint