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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics