Login / Signup
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems.
Fabian Immler
Published in:
ARCH@CPSWeek (2015)
Keyphrases
</>
reachability analysis
theorem prover
management system
machine learning
multimedia
distributed systems
natural deduction
timed automata
higher order