Formalization of Invariant Patterns for the Invariant Refinement Method

DOI10.1007/978-3-319-15545-6_34zbMath1454.68025OpenAlexW1002795821MaRDI QIDQ5256374

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

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

requirementsassume-guaranteearchitecture refinement

Mathematics Subject Classification ID

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

Uses Software

• DEECO

Cites Work

• Specifying message passing and time-critical systems with temporal logic
• Hard Real-Time Computing Systems

This page was built for publication: Formalization of Invariant Patterns for the Invariant Refinement Method