Logic of Autonomous Dynamical Systems Lab

Logic of Autonomous Dynamical Systems Lab's repositories

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Language:ScalaGPL-2.084 14 111

A formally verified implementation of differential dynamic logic in Coq

Language:CoqGPL-3.018 70

Orbital Library

Language:JavaGPL-2.09 70

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

Language:JavaNOASSERTION8 30

Projects, models, and proofs in KeYmaera X

Language:Shell7 130

500

A formally verified implementation of differential dynamic logic in Isabelle

Language:Isabelle5 80

Language:Java1 20

Verification of Autonomous Neural Car Control with KeYmaera X

Language:Jupyter Notebook1 40