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 |
|
