Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Graf, Susanne (Editor), Zhang, Wenhui (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4218
• Subjects: Computer science.; Computer communication systems.; Special purpose computers.; Software engineering.; Computer logic.; Computers.; Computer-aided engineering.; Computer Science.; Computer-Aided Engineering (CAD, CAE) and Design.; Logics and Meanings of Programs.; Information Systems and Communication Service.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Software Engineering.

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote researc...