12. SPIN 2005: San Francisco, CA, USA

Invited Talks/Papers

Invited Tutorials

State Representation and Abstraction

Dealing with Concurrency

Dealing with Complex Data

Checking Temporal Properties

Checking Security and Real-Time Properties

Tool Papers