Publication year: 2007
ISBN: 978-3-540-71209-1
Internet Resource: Please Login to download book
Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems
Subject: Computer Science, Algorithms, Automat, algorithm, automata, model checking, real-time, verification