Kopitiam

Add this URL to your Eclipse Installation to reach this solution's update site.

Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Neon (4.6)
Oxygen (4.7)
Photon (4.8)
2018-09 (4.9)

http://www.itu.dk/research/tomeso/kopitiam/eclipse

Learn more...

Details Group Tabs

Details

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
verification.

Categories:

Other

Tags:

Additional Details

Eclipse Versions:

Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1), Neon (4.6), Oxygen (4.7), Photon (4.8), 2018-09 (4.9)

Platform Support:

Windows, Mac, Linux/GTK

Organization Name:

IT University of Copenhagen

Date Created:

Wed, 2012-08-15 11:47

Development Status:

Beta

License:

BSD

Date Updated:

Mon, 2019-02-04 13:50

Submitted by:

Hannes Mehnert

Screenshots

Metrics

Date	Ranking	Installs	Clickthroughs
May 2020	NA	0 (0%)	12
April 2020	NA	0 (0%)	9
March 2020	876/892	1 (0%)	9
February 2020	NA	0 (0%)	7
January 2020	NA	0 (0%)	6
December 2019	NA	0 (0%)	8
November 2019	NA	0 (0%)	10
October 2019	NA	0 (0%)	10
September 2019	862/878	1 (0%)	8
August 2019	NA	0 (0%)	24
July 2019	888/911	1 (0%)	13
June 2019	NA	0 (0%)	8

View Data for all Listings

Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for Kopitiam.

HTML Code:

Markdown Syntax:

Output:

Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client

Thursday, June 4, 2020 - 16:00

Kopitiam

Drag to Install!

Mars (4.5)Luna (4.4)Kepler (4.3)Juno (4.2, 3.8)Previous to Juno (<=4.1)Neon (4.6)Oxygen (4.7)Photon (4.8)2018-09 (4.9)

Details Group Tabs

Marketplace Drag to Install button

The Eclipse IDE 2020-03 is now available!

Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Neon (4.6)
Oxygen (4.7)
Photon (4.8)
2018-09 (4.9)