Tool
Tool
PyCASSE (named after Picasso and pronounced "puh-kaa-sse") - a Python Contract-based Analysis for Stochastic System Exploration Toolbox
PyCASSE is a Python module that enables verification and synthesis tasks using assume-guarantee (A/G) contracts that are written in declarative specification styles such as signal temporal logic (STL) and stochastic STL (StSTL).
ARACHNE - Automated Rapid Validation of Assurance Cases via Hierarchical Contract NEtworks
A Python module for automated rapid validation of assurance cases (ACs), i.e., structured arguments about the correctness, safety, or security of a design, via utilizing hierarchical networks of A/G contracts.
Released to the stakeholders in the DARPA project.