Patterns for Refinement Automation

DOI10.1007/978-3-642-17071-3_4zbMath1312.68072OpenAlexW1567542520MaRDI QIDQ3066119

Elena Troubitsyna, Linas Laibinis, Alexei Iliasov, Alexander Romanovsky

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17071-3_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

Mechanised support for sound refinement tactics

Uses Software

• ArcAngel

Cites Work

• ArcAngel: a tactic language for refinement
• Superposition refinement of reactive systems
• The B-Book
• Refinement Calculus
• An axiomatic basis for computer programming
• The Use of Triple-Modular Redundancy to Improve Computer Reliability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Patterns for Refinement Automation