Crux Reference Manual

Crux is a static simulator for programs. It runs a set of test cases and attempts to prove that all assertions pass on all valid inputs.