You are here

Contract-Based Design


CHESS (Composition with Guarantees for High-integrity Embedded Software Components Assembly) tool is a open source software project that supports the design phases of safety-critical systems, combining the model-driven architecture design with formal methods.

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