AF3-OCRA is a plugin designed for the Autofocus platform by Fortiss. It adds the contract based composition paradigm based on OCRA
to Autofocus modeling tool providing functionalities for editing,refining and checking contracts.

For the check feature, AF3-OCRA interacts with
OCRA which is the tool for the verification of logic-based contracts refinement for embedded systems
developed by FBK.

Download AF3-OCRA here

has been developed and is mantained by

with support by the CPS action line of the EIT ICT Labs