Publication year: 2007
: 978-3-540-71209-1
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
: Computer Science, Algorithms, Automat, algorithm, automata, model checking, real-time, verification