Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Topics & Concepts
HOLComputer scienceProgramming languageMathematical proofCorrectnessProof assistantTheoretical computer scienceScalabilitySyntaxAutomated theorem provingArtificial intelligenceMathematicsDatabaseGeometryLogic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge