Automated Technology for Vertification and Analysis
Publication year: 2006
ISBN: 978-3-540-47238-4
Internet Resource: Please Login to download book
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Subject: Computer Science, Bisimulation, algorithm, algorithms, automata, construction, embedded systems, formal methods, formal performance analysis, hardware verification, microprocessor, model, model checking, oetri nets, probabilistic models, verification
