LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous 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:​** ​
 +https://​github.com/​epfl-lara/​jahob
 +
 +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]]