You are here

Contract-Based Design

Tools

OCRA is a tool for the verification of logic-based contracts refinement for embedded systems.