Formalization of invariant patterns for the invariant refinement method

DOI10.1007/978-3-319-15545-6_34MaRDI QIDQ5256374zbMATH OpenOpenAlexFDO

Authors Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil, Petr Tůma

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_34

zbMATH Keywords

architecture refinementassume-guaranteerequirements

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Patterns for refinement automation
• Refinement of structured interactive systems
• Invariant diagrams with data refinement
• Algebraic Methodology and Software Technology
• Composing invariants

Cites work

• Hard real-time computing systems. Predictable scheduling algorithms and applications.
• Specifying message passing and time-critical systems with temporal logic

Describes a project that uses

Uses Software

• DEECO

This page was built for publication: Formalization of invariant patterns for the invariant refinement method

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