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 Wednesday, December 14, 2022 - 09:48 by Hannes Mehnert