Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
jahob_system [2012/07/20 00:38] vkuncak |
jahob_system [2017/03/19 16:33] vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
Jahob is a verification system for programs written in a subset of Java. Using Jahob, developers can statically prove that methods satisfy their contracts in all possible executions, as well as that they preserve essential structural invariants and design constraints. | Jahob is a verification system for programs written in a subset of Java. Using Jahob, developers can statically prove that methods satisfy their contracts in all possible executions, as well as that they preserve essential structural invariants and design constraints. | ||
+ | |||
+ | **Jahob is now on github:** | ||
+ | |||
+ | Note | ||
+ | * Information below may be outdated | ||
+ | * Java may be outdated. Consider Scala, http://www.scala-lang.org/ | ||
+ | * To verify Scala, consider tools such as http://leon.epfl.ch and its successors | ||
+ | |||
+ | ---- | ||
[[data_structure_examples.html|Some of the data structures verified in Jahob]] | [[data_structure_examples.html|Some of the data structures verified in Jahob]] |