#

keymaera

Here are 4 public repositories matching this topic...

LS-Lab / KeYmaeraX-release

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 May 21, 2026
Scala

IBM / vsrl-framework

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

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

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

Add this topic to your repo

To associate your repository with the keymaera topic, visit your repo's landing page and select "manage topics."