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 / describes a project that uses @@
+KeYmaera X
@@ Property / describes a project that uses: KeYmaera X / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java-MOP
@@ Property / describes a project that uses: Java-MOP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AMT
@@ Property / describes a project that uses: AMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReal
@@ Property / describes a project that uses: dReal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOLA
@@ Property / describes a project that uses: LOLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ModelPlex
@@ Property / describes a project that uses: ModelPlex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeYmaera
@@ Property / describes a project that uses: KeYmaera / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-016-0241-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2127240436
@@ Property / OpenAlex ID: W2127240436 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59477568
@@ Property / Wikidata QID: Q59477568 / 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