keymaera

There are 1 repository under keymaera topic.

LS-Lab / KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof tactics mathematica differential-dynamic-logic differential-equations axiom cyber-physical-systems scala hybrid-games keymaera
Language:Scala 72
IBM / vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
reinforcement-learning safety-critical formal-verification formal-methods reinforcement-learning-algorithms reinforcement-learning-environments cyber-physical-systems keymaerax keymaera differential-dynamic-logic pytorch safe-reinforcement-learning safe-control
Language:Python 53
Yoanribeiro / SFCToKeYmaera
A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program
dissertation hxt sfc plc formal-methods parser keymaera
Language:Haskell 2
nrfulton / scuba-release
Formal verification of a SCUBA ascent protocol.
proof keymaera keymaerax formal-methods formal-verification scuba scuba-diving hybrid-systems cyber-physical-systems
1