Book Details

Computer Aided Verification (vol. # 4144)

Publication year: 2006

ISBN: 978-3-540-37411-4

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Automat, automata, computer, logic, model checking, verification