Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720): Difference between revisions

@@ Property / cites work @@
+Building program construction and verification tools from algebraic principles
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Hybrid Systems
@@ Property / cites work: Verification of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid relations in Isabelle/UTP
@@ Property / cites work: Hybrid relations in Isabelle/UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Heterogeneous State-Spaces with Lenses
@@ Property / cites work: Unifying Heterogeneous State-Spaces with Lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Taming Multirelations
@@ Property / cites work: Taming Multirelations / rank @@
+Normal rank
@@ Property / cites work @@
+Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+The flow of ODEs: formalization of variational equation and Poincaré map
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Refinement Logic
@@ Property / cites work: Differential Refinement Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of modal operators and partial correctness
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Cyber-Physical Systems
@@ Property / cites work: Logical Foundations of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare Semigroups
@@ Property / cites work: Hoare Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q2897328
@@ Property / cites work: Q2897328 / rank @@
+Normal rank