Automated Technology for Verification and Analysis
Subtitle: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Susanne Graf (Editor); Wenhui Zhang (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 20, 2006
Language: eng
Format: Paperback
Number of pages: 540
ISBN-13: 9783540472377
Subjects: Computer aided design (CAD); Computers; Computers - General Information; Computer Books: General; Logic Design; Networking - General; Programming - Systems Analysis & Design; Computers / Logic Design; automata; embedded systems; formal methods; formal performance analysis; hardware verification; hybrid systems; model checking; oetri nets; probabilistic models; program analysis; protocal verification; Information Technology