19. TACAS 2013: Rome, Italy (Part of ETAPS 2013)

Markov Chains


Quantifier Elimination


Games and Synthesis

Process Algebra

Pushdown Systems Boolean/Integer Programs

Runtime Verification and Model Checking


Learning and Abduction

Timed Automata

Security and Access Control

Frontiers (Graphics and Quantum)

Functional Programs and Types

Tool Demonstrations

Explicit-State Model Checking

Büchi Automata

Competition on Software Verification

maintained by Schloss Dagstuhl LZI at University of Trier