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

@@ Property / author @@
-Ursula Martin Webb
@@ Property / author: Ursula Martin Webb / rank @@
-Normal rank
@@ Property / author @@
+Ursula Martin Webb
@@ Property / author: Ursula Martin Webb / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C05
@@ Property / Mathematics Subject Classification ID: 93C05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6368383
@@ Property / zbMATH DE Number: 6368383 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare logic
@@ Property / zbMATH Keywords: Hoare logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal verification
@@ Property / zbMATH Keywords: formal verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear systems
@@ Property / zbMATH Keywords: linear systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+control systems
@@ Property / zbMATH Keywords: control systems / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ClawZ
@@ Property / describes a project that uses: ClawZ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / 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/s00165-011-0180-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2084245236
@@ Property / OpenAlex ID: W2084245236 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55393264
@@ Property / Wikidata QID: Q55393264 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:469998