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