Automated Technology for Verification and Analysis
Subtitle: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Doron A. Peled (Editor); Yih-Kuen Tsay (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 26, 2005
Language: eng
Format: Paperback
Number of pages: 506
ISBN-13: 9783540292098
Subjects: Computer aided design (CAD); Programming - Systems Analysis & Design; Computers - General Information; Computers; Computer Books: General; Logic Design; Networking - General; Computers / Logic Design; automata; embedded systems; formal methods; formal performance analysis; hardware verification; Automatic theorem proving; Calculs numâeriques; Congresses; Congráes; Informatique; Logiciels; Vâerification