dblp.uni-trier.de www.uni-trier.de

13. TACAS 2007: Braga, Portugal (Part of ETAPS 2007)

Orna Grumberg, Michael Huth (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4424 Springer 2007, ISBN 978-3-540-71208-4 BibTeX

Invited Contributions

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


Software and Hardware Verification

Decision Procedures and Theorem Provers

Model Checking

Infinite-State Systems

Copyright © Sat May 16 23:43:27 2009 by Michael Ley (ley@uni-trier.de)