6. TACAS 2000: Berlin, Germany (Part of ETAPS 2000)

Invited Contribution

Software and Formal Methods Tools

Formal Methods Tools

Timed and Hybrid Systems

Infinite and Parameterized Systems

Diagnostic and Test Generation

Efficient Model-Checking

Model-Checking Tools

Symbolic Model-Checking

Visual Tools

Verification of Critical Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics