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

SAT and SMT

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