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

maintained by Schloss Dagstuhl LZI at University of Trier