20. TACAS 2014: Grenoble, France (Part of ETAPS 2014)

Invited Contribution

Decision Procedures and Their Application in Analysis

Complexity and Termination Analysis

Modeling and Model Checking Discrete Systems

Timed and Hybrid Systems

Monitoring, Fault Detection and Identification

Competition on Software Verification

Specifying and Checking Linear Time Properties

Synthesis and Learning

Quantum and Probabilistic Systems

Tool Demonstrations

Case Studies

maintained by Schloss Dagstuhl LZI, founded at University of Trier