Publication year: 2006
: 978-3-540-37411-4
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems.
: Computer Science, Automat, automata, computer, logic, model checking, verification