Highlights
- Pro
Stars
Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.
List of bugs found in distributed protocols
State machine of drone using MAVSDK and P programming language.
VUISIS / formula
Forked from microsoft/formulaFORMULA 2.0: Formal Specifications for Verification and Synthesis
😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness
The latest incremental release of SysML v2. Start here.
DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos