A Hoare logic for linear systems

DOI10.1007/s00165-011-0180-9zbMath1298.68163OpenAlexW2084245236WikidataQ55393264 ScholiaQ55393264MaRDI QIDQ469998

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

zbMATH Keywords

linear systemsformal verificationcontrol systemsHoare logic

Mathematics Subject Classification ID

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

Related Items

A UTP approach for rTiMo ⋮ Fifty years of Hoare's logic ⋮ Refinement for signal flow graphs

Uses Software

• SPIN
• ClawZ
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Hidden verification for computational mathematics
• A tutorial on coinductive stream calculus and signal flow graphs
• A general framework for sound and complete Floyd-Hoare logics
• Hoare Logic in the Abstract
• Traced monoidal categories
• Logical Analysis of Hybrid Systems
• Computer Science Logic
• An axiomatic basis for computer programming
• FM 2005: Formal Methods