Login / Signup

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

Simon FosterJonathan Julián Huerta y MuniveMario GleirscherGeorg 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