Tackling Large Verification Problems with the Swarm Tool

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85114-1_11 ◽

2008 ◽

pp. 134-143 ◽

Cited By ~ 17

Author(s):

Gerard J. Holzmann ◽

Rajeev Joshi ◽

Alex Groce

Download Full-text