nimble-code

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

Cobra. An interactive (fast) static source code analyzer

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

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

Swarm. Front-end for Spin to generate swarm verification scripts

Buzz. a framework for studying logic model checking algorithms

NCSL. Simple non-comment source line counter for C and C++ code

gh_cpp. basic c preprocessor with some rule checking capabilities