ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-016-0241-z
@@ Property / DOI: 10.1007/s10703-016-0241-z / rank @@
-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 @@
+SMT-based scenario verification for hybrid systems
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953400
@@ Property / cites work: Q4953400 / rank @@
+Normal rank
@@ Property / cites work @@
+ModelPlex: verified runtime validation of verified cyber-physical system models
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Complete Proof Theory of Hybrid Systems
@@ Property / cites work: The Complete Proof Theory 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 @@
+A Uniform Substitution Calculus for Differential Dynamic Logic
+Normal rank
@@ Property / cites work @@
+The Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Factorization of a hierarchy of the lattice soliton equations from a binary Bargmann symmetry constraint
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0241-Z
@@ Property / DOI: 10.1007/S10703-016-0241-Z / rank @@
+Normal rank