A Hoare logic for linear systems

DOI10.1007/S00165-011-0180-9zbMATH Open1298.68163DBLPjournals/fac/ArthanMO13OpenAlexW2084245236WikidataQ55393264 ScholiaQ55393264MaRDI QIDQ469998FDOQ469998

Authors: Rob Arthan, Paulo Oliva, Ursula Martin Webb 

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0180-9

Recommendations

• Hoare Logic in the Abstract
• Hybrid diagrams
• Differential Logic for Reasoning About Hybrid Systems
• The calculus of signal flow diagrams. I: Linear relations on streams.
• scientific article; zbMATH DE number 1956625

zbMATH Keywords

linear systemscontrol systemsHoare logicformal verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Linear systems in control theory (93C05)

Cites Work

• Title not available (Why is that?)
• Traced monoidal categories
• An axiomatic basis for computer programming
• Title not available (Why is that?)
• A tutorial on coinductive stream calculus and signal flow graphs
• Title not available (Why is that?)
• FM 2005: Formal Methods
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Hidden verification for computational mathematics
• A general framework for sound and complete Floyd-Hoare logics
• Hoare Logic in the Abstract
• Title not available (Why is that?)
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Computer Science Logic

Cited In (6)

• A UTP approach for rTiMo
• Fifty years of Hoare's logic
• Formalization of linear space theory in the higher-order logic proving system
• Title not available (Why is that?)
• Title not available (Why is that?)
• Refinement for signal flow graphs

Uses Software

• SPIN
• ClawZ
• Circus

This page was built for publication: A Hoare logic for linear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q469998)