yonoteam

Formal verification and its automation researcher. Assistant Professor at U of Aalborg

Copenhagen

Pinned Repositories

Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
Language:Isabelle5 5 01
whymon
A runtime monitoring tool that produces explanations as verdicts
Language:Isabelle1 3 13
CPSVerification
A repository for Isabelle modules to implement verification of Cyber-Physical Systems
Language:Isabelle2 1 00
DeepIsaHOL
Official repository of the DeepIsaHOL project (number: 101102608) titled Reinforcement learning to improve proof-automation in theorem proving
Language:Standard ML10
HybridKAT
Repository for writing 2019-RAMICS paper on Hybrid KAT
Language:TeX00
ipampa
Ipampa in Nahuatl means "because". This is a repository to convince Isabelle of certain mathematical theorems.
Language:Isabelle00

yonoteam/CPSVerification
A repository for Isabelle modules to implement verification of Cyber-Physical Systems
Language:Isabelle2 1 00
yonoteam/DeepIsaHOL
Official repository of the DeepIsaHOL project (number: 101102608) titled Reinforcement learning to improve proof-automation in theorem proving
Language:Standard ML10
yonoteam/HybridKAT
Repository for writing 2019-RAMICS paper on Hybrid KAT
Language:TeX00
yonoteam/ipampa
Ipampa in Nahuatl means "because". This is a repository to convince Isabelle of certain mathematical theorems.
Language:Isabelle00