KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (Q3454120): Difference between revisions

@@ Property / cites work @@
+Tactic theorem proving with refinement-tree proofs and metavariables
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Dynamical Systems
@@ Property / cites work: Logics of Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Game Logic
@@ Property / cites work: Differential Game Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Substitution Calculus for Differential Dynamic Logic
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank