1750 Solutions and counting.
Contracts for Java (C4J
Contracts for Java (C4J) is a Contracts framework for Java 1.6 and later. The primary goal for C4J is ease of use. Contracts are about design and quality, aspects of progra...
StoryTeller is an Eclipse plugin which helps you write high quality code by using your tests as living documentation, or put differently, by telling the story of your code.
Making code easier to u...
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
Tools, Testing, General Purpose Tools
Last Updated on Monday, February 4, 2019 - 13:50 by C4J VKSI
Last Updated on Monday, February 4, 2019 - 13:50 by Hannes Mehnert
Last Updated on Monday, February 4, 2019 - 13:55 by Henrik Jernevad