nimble-code

Pinned Repositories

Buzz
a framework for studying logic model checking algorithms
Language:C7 2 01
Cobra
An interactive (fast) static source code analyzer
Language:C139 12 6031
gh_cpp
basic c preprocessor with some rule checking capabilities
Language:C2 2 00
Modex
a model extractor, to automatically extract Spin verification models from multi-threaded C code
Language:C20 2 114
NCSL
Simple non-comment source line counter for C and C++ code
Language:C5 2 00
Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Language:C367 19 57128
Swarm
Front-end for Spin to generate swarm verification scripts
Language:C10 2 00
Uno
simple static source code analysis tool for C code, with user-definable properties
Language:C26 3 25

nimble-code's Repositories

nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Language:C367 19 57128
nimble-code/Cobra
An interactive (fast) static source code analyzer
Language:C139 12 6031
nimble-code/Uno
simple static source code analysis tool for C code, with user-definable properties
Language:C26 3 25
nimble-code/Modex
a model extractor, to automatically extract Spin verification models from multi-threaded C code
Language:C20 2 114
nimble-code/Swarm
Front-end for Spin to generate swarm verification scripts
Language:C10 2 00
nimble-code/Buzz
a framework for studying logic model checking algorithms
Language:C7 2 01
nimble-code/NCSL
Simple non-comment source line counter for C and C++ code
Language:C5 2 00
nimble-code/gh_cpp
basic c preprocessor with some rule checking capabilities
Language:C2 2 00