21st TACAS 2015: London, UK (Part of ETAPS 2015)

Refine list

showing all ?? records

Invited Talk

Hybrid systems

Program Analysis

Verification and Abstraction

Tool Demonstrations

Stochastic Models


Partial Order Reduction, Bisimulation and Fairness

Competition on Software Verification

Parameter Synthesis

Program Synthesis

Program and Runtime Verification

Temporal Logic and Automata

Model Checking

a service of  Schloss Dagstuhl - Leibniz Center for Informatics