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.

FORMULA 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

STLTree for learning IoT security rules

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

MODELING GIT WITH ALLOY