Open-source research tools.
FRET: NASA's Formal Requirements Elicitation Tool. Turns natural-language requirements into precise, formally analyzable specifications for autonomous and safety-critical systems. github.com/NASA-SW-VnV/fret
VeriSolid & FSolidM: A finite-state-machine based approach and tool for designing correct-by-design Solidity smart contracts for Ethereum. github.com/anmavrid/smart-contracts
DesignBIP: A design studio for modeling, analyzing, and generating systems within the Behavior-Interaction-Priority (BIP) framework. github.com/anmavrid/DesignBIP
JavaBIP: Java implementation of the BIP coordination engine, using Binary Decision Diagrams (BDDs) for efficient interaction computation. javabip-engine, javabip-core, javabdd