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...
Other
Last Updated on Monday, February 4, 2019 - 13:50 by Hannes Mehnert