dblp.uni-trier.de www.dagstuhl.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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Security

Software and Hardware Verification

Decision Procedures and Theorem Provers

Model Checking

Infinite-State Systems

Last update Wed Feb 15 05:19:08 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page