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

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