9th TACAS 2003: Warsaw, Poland (Part of ETAPS 2003)

Refine list

showing all ?? records

Invited Contributions

Bounded Model Checking and SAT-Based Methods

Mu-Calculus and Temporal Logics

Verification of Parameterized Systems

Abstractions and Counter-Examples

Real-Time and Scheduling

Security and Cryptography

Modules and Compositional Verification

Symbolic State Spaces and Decision Diagrams

Performance and Mobility

State Space Reductions

Constraint-Solving and Decision Procedures

Testing and Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics