Popular repositories Loading

1. Spin Spin Public

   Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

   C 475 139

2. Cobra Cobra Public

   An interactive (fast) static source code analyzer

   C 214 34

3. Modex Modex Public

   a model extractor, to automatically extract Spin verification models from multi-threaded C code

   C 29 4

4. Uno Uno Public

   simple static source code analysis tool for C code, with user-definable properties

   C 29 5

5. Swarm Swarm Public

   Front-end for Spin to generate swarm verification scripts

   C 12 2

6. Buzz Buzz Public

   a framework for studying logic model checking algorithms

   C 8 1