Advertisement
KeY-Hoare
Allows you to make Hoare calculus in the Key tool...
verify program Hoare calculus verify program program verifier
Calculus
Calculator with currency-converting capabilities....
Calculus Grapher
Draw a function and see graphs of its integrals and derivative...
GC Calculus
Calculates the size of various heap segments...
Event Calculus Simulator
Simulates the effects of margin calls on a market...