Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Publication year: 2008
ISBN: 978-3-540-88387-6
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
Subject: Computer Science, algorithms, ants, automata, design, embedded systems, fault tolerance, first-order logic, formal methods, genetic programming, model checking, petri nets, programming, testing, validation, verification, Computer Communication Networks, Logics and Meanings of Programs, Information Systems and Communication Service, Special Purpose and Application-Based Systems, Software Engineering, Programming Languages, Compilers, Interpreters
