Document Actions

Bohne

Bohne is a symbolic shape analysis tool. It infers loop
invariants of programs manipulating heap-allocated data structures.
Bohne is integrated into the Jahob verification system. A standalone version of Bohne will be available, soon. For more information, please contact Thomas Wies.