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

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