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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics