#

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 24, 2024
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

Improve this page

Add a description, image, and links to the keymaera topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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