Formal methods for industrial applications. Specification and programming the Steam Boiler Control

MaRDI QIDQ1126522zbMATH OpenFDO

Authors

Publication date 10 December 1996

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(17)

• Communities and ancestors associated with Egon Börger and ASM
• Twenty years of rewriting logic
• Hybrid multirate PALS
• Language and communication problems in formalization: a natural language approach
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• What's decidable about hybrid automata?
• Inclusion dynamics hybrid automata
• Specification of real-time and hybrid systems in rewriting logic
• A Hoare logic for linear systems
• Parametric Verification of Weighted Systems
• Verifying untimed and timed aspects of the experimental batch plant
• A unified linear-time temporal logic solution to the steam-boiler control specification problem
• Introducing \(H\), an institution-based formal specification and verification language
• Hybrid action systems
• Rewriting logic: Roadmap and bibliography
• UTP, \textsf{\textit{Circus}}, and Isabelle
• Formalism and method

This page was built for publication: Formal methods for industrial applications. Specification and programming the Steam Boiler Control

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