Add this URL to your Eclipse Installation to reach this solution's update site.
Kopitiam is an Eclipse plugin for certifying full functional
correctness of Java programs using a higher-order separation
logic. Kopitiam extends the Java IDE with an interactive environment
for program verification, powered by the general-purpose proof
assistant Coq. Moreover, Kopitiam includes a feature-complete
development environment for Coq theories, where users can define
program models, and prove theorems required for the program
Unsuccessful Installs in the last 7 Days: 0
By adding the following code below to your website you will be able to add an install button for Kopitiam.HTML Code:
Get the latest version of the Eclipse IDE.