Ocra

Ocra is a tool for the verification of logic based contract refinement for embedded systems.

It is really fun to do exercises. I highly recommend.

Ocra is developed by the Embedded systems unit of FBK

Download