Login / Signup
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
Simon Foster
Jonathan Julián Huerta y Munive
Mario Gleirscher
Georg Struth
Published in:
FM (2021)
Keyphrases
</>
hybrid systems
theorem prover
natural deduction
black box
soft computing
intelligent systems
multi agent systems
theorem proving
data model
model selection
complex systems
discrete event