Geeks
isabelle-utp
/
Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
Primary Language
Isabelle
Hybrid-Verification GitHub
Markdown
Readme
0
Issues
5
Stargazers
5
Watchers
Stargazers
Frank-Zeyda
Galois, Inc.
kiniry
@FreeAndFair @GaloisInc
pefribeiro
University of York
Yosuke-Ito-345
Sompo Himawari Life Insurance Inc.
ytzemih
Germany