Projects / Simplify Theorem Prover

Simplify Theorem Prover

Simplify is an automated theorem prover used by ESC/Java2.

Tags
Operating Systems
Implementation

Recent releases

  •  12 Nov 2007 22:43

    Release Notes: A universal binary for Mac OS X has been added.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.