Pages that link to "Item:Q3541700"

The following pages link to KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700):

Displaying 30 items.

• KeYmaera (Q16063) (← links)
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
• A heuristic prover for real inequalities (Q287379) (← links)
• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• Fixing Zeno gaps (Q549197) (← links)
• ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
• Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
• Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
• A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
• A system for compositional verification of asynchronous objects (Q1951610) (← links)
• An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
• Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
• Pegasus: sound continuous invariant generation (Q2147687) (← links)
• Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Generating invariants for non-linear hybrid systems (Q2355695) (← links)
• Theorem-proving analysis of digital control logic interacting with continuous dynamics (Q2520681) (← links)
• Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
• ROSCoq: Robots Powered by Constructive Reals (Q2945622) (← links)
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
• Crossing the Bridge between Similar Games (Q3172850) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• (Q3384178) (← links)
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120) (← links)
• Efficient choice of parameters on delta-reachability bounded hybrid systems (Q5097076) (← links)
• Real World Verification (Q5191121) (← links)
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)