LS-Lab / KeYmaeraX-release Star 76 Code Issues Pull requests KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release) scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic keymaera hybrid-games Updated Sep 24, 2024 Scala
IBM / vsrl-framework Star 56 Code Issues Pull requests The Verifiably Safe Reinforcement Learning Framework reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control Updated Jul 22, 2021 Python
Yoanribeiro / SFCToKeYmaera Star 2 Code Issues Pull requests A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program parser plc formal-methods dissertation sfc hxt keymaera Updated Dec 4, 2015 Haskell
nrfulton / scuba-release Star 1 Code Issues Pull requests Formal verification of a SCUBA ascent protocol. proof formal-methods hybrid-systems formal-verification keymaerax scuba cyber-physical-systems keymaera scuba-diving Updated Feb 28, 2020