saratge's repositories
blawx
A user-friendly web-based tool for Rules as Code.
Language:HTMLMIT000
neural-verification
MI and Formal Verification of NNs on Algorithmic tasks!
Language:Jupyter Notebook000
osate2
Open Source AADL2 Tool Environment
Language:JavaEPL-2.0000
Language:TeX000
promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Language:CoqMIT000