isabelle-utp/Hybrid-Verification

Components for Verifying Hybrid Systems in Isabelle/HOL

GitHub repository with 7 stars and 1 forks.

Open provider repository