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

Markov Chains

Termination

Quantifier Elimination

SAT/SMT

Games and Synthesis

Process Algebra

Pushdown Systems Boolean/Integer Programs

Runtime Verification and Model Checking

Concurrency

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