saratge

Pinned Repositories

flight-readiness-asp
Language:Prolog1 2 00
OYSTER
PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)
Language:Java0 3 00
RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
Language:Python20 11 5356
RITE
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
Language:Python4 6 801
blawx
A user-friendly web-based tool for Rules as Code.
Language:HTML00
neural-verification
MI and Formal Verification of NNs on Algorithmic tasks!
Language:Jupyter Notebook00
osate2
Open Source AADL2 Tool Environment
Language:Java00
pointer-analysis-bib
Language:TeX00
promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Language:Coq00

saratge's Repositories

saratge/blawx
A user-friendly web-based tool for Rules as Code.
Language:HTML00
saratge/neural-verification
MI and Formal Verification of NNs on Algorithmic tasks!
Language:Jupyter Notebook00
saratge/osate2
Open Source AADL2 Tool Environment
Language:Java00
saratge/pointer-analysis-bib
Language:TeX00
saratge/promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Language:Coq00