13th SPIN 2006: Vienna, Austria

Refine list

showing all ?? records

Directed Model Checking

Markovian Systems

Distributed Model Checking

Advanced Handling of Data Aspects

Applications

Assume-Guarantee

Partial Order Reduction

Tool Demonstrations