A Hoare logic for linear systems (Q469998): Difference between revisions

@@ Property / cites work @@
+Formal methods for industrial applications. Specification and programming the Steam Boiler Control
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden verification for computational mathematics
@@ Property / cites work: Hidden verification for computational mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for sound and complete Floyd-Hoare logics
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417982
@@ Property / cites work: Q4417982 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on coinductive stream calculus and signal flow graphs
+Normal rank
@@ Property / cites work @@
+Q4093629
@@ Property / cites work: Q4093629 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare Logic in the Abstract
@@ Property / cites work: Hoare Logic in the Abstract / 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 @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank