see also the index (by topic, by tool, by reference, by year)
Krakatoa
A deductive verification tool for Java programs.
- Binary Search, Java version
- Dijkstra's Dutch Flag, Java version
- Fibonacci sequence, linear algorithm, Java version
- Filter elements of an array
- FoVeOOS'11 Competition: challenge 1, in Java
- FoVeOOS'11 Competition: challenge 2, in Java
- FoVeOOS'11 Competition: challenge 3, in Java
- Greatest Common Divisor, Bezout coefficients, Java version
- McCarthy 91 function, Java version
- Selection Sort, Java version
- Simple Electronic Purse, Java version
see also the index (by topic, by tool, by reference, by year)