11th TACAS 2005: Edinburgh, UK (Part of ETAPS 2005)

Refine list

showing all ?? records

Invited Paper

Regular Model-Checking

Infinite State Systems

Abstract Interpretation

Automata and Logics

Probabilistic Systems, Probabilistic Model-Checking

Satisfiability

Testing

Abstraction and Reduction

Specification, Program Synthesis

Model-Checking

Tool Presentations

a service of  Schloss Dagstuhl - Leibniz Center for Informatics