| | |
| Invited Speakers |
|---|
| A Tool Based Approach to Conquering Concurrent Programming,
Tom Ball |
| Model Checking Cell Fate Decisions,
Jasmin Fisher |
| Random Testing for C Compilers,
John Regehr |
| Reasoning About Replication: Parameteric Verification of Industrial Protocols,
Murali Talupur |
|
| | |
|
| | |
|
| | |
|
| | |
| [PDF] Building Extensible Specifications and Implementations of Promela with AbleP,
Yogesh Mali and Eric Van Wyk
|
|
| | |
|
| | |
| Tool Presentations |
|---|
| [PDF] EpiSpin: en Eclipse Plug-in for Promela/Spin using Spoofax,
Bob De Vos, Lennart Kats and Cornelis Pronk
| | [PDF] DiPro - A Tool for Probabilistic Counterexample Generation,
Husain Aljazzar,
Florian Leitner-Fischer,
Stefan Leue and Dimitar Simeonov
| | [PDF] dBug: Systematic Testing of Unmodified Distributed and Multi-Threaded
Systems,
Jiri Simsa, Randy Bryant and Garth Gibson
|
|