The 45 revised full research papers and 9 revised tool demonstration papers presented together with 1 invited paper were carefully reviewed and selected from a total of 204 submissions. The papers are organized in topical sections on software verification, probabilistic model checking and markov chains, static analysis, markov chains and real-time systems, timed automata and duration calculus, assume-guarantee reasoning, biological systems, abstraction refinement, message sequence charts, automata-based model checking, specification languages, security, software and hardware verification, decision procedures and theorem provers, model checking, as well as infinite-state systems.
The 45 revised full research papers and 9 revised tool demonstration papers presented together with 1 invited paper were carefully reviewed and selected from a total of 204 submissions. The papers are organized in topical sections on software verification, probabilistic model checking and markov chains, static analysis, markov chains and real-time systems, timed automata and duration calculus, assume-guarantee reasoning, biological systems, abstraction refinement, message sequence charts, automata-based model checking, specification languages, security, software and hardware verification, decision procedures and theorem provers, model checking, as well as infinite-state systems.
Imprint | Springer |
Country of origin | United States |
Release date | 2007 |
Availability | We don't currently have any sources for this product. If you add this item to your wish list we will let you know when it becomes available. |
Editors | Orna Grumberg, Michael Huth |
Format | Electronic book text |
Pages | 756 |
ISBN-13 | 978-6610951888 |
Barcode | 9786610951888 |
Categories | |
LSN | 6610951888 |