AF3-OCRA is a plugin designed for the
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