Popular repositories Loading

1. Spin Spin Public

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

   C 369 129

2. Cobra Cobra Public

   An interactive (fast) static source code analyzer

   C 140 31

3. Uno Uno Public

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

   C 26 5

4. Modex Modex Public

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

   C 20 4

5. Swarm Swarm Public

   Front-end for Spin to generate swarm verification scripts

   C 10

6. Buzz Buzz Public

   a framework for studying logic model checking algorithms

   C 7 1