Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: safety-verification
Kiguli/PRoTECT
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
Language: Python - Size: 2.13 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 4 - Forks: 0
Ratfink/ControlTimingSafety.jl
Tools for verifying safety of control systems that may experience timing uncertainty
Language: Julia - Size: 375 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 1
palmenros/zksnark-safety-verificator
Circom safety verifier using Gröbner bases
Language: Rust - Size: 316 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0
samkenxstream/SAMkenxvirtualgl-virtualgl Fork of VirtualGL/virtualgl
🔏📃 PhoenixDOMString🚀SAMkenXEcosystem📃Main VirtualGL and audited repository.New features optimization.
Language: C++ - Size: 13.2 MB - Last synced: 2 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0