Refinement and state machine abstraction

DOI10.1016/S0304-3975(00)00169-9zbMath0989.68088OpenAlexW2073171058MaRDI QIDQ5958757

Karl Lermer, Paul A. Strooper

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00169-9

zbMATH Keywords

formal methodsrefinementabstractionspecificationmodular software developmentstate machine

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Z

Cites Work

• Prespecification in data refinement
• A single complete rule for data refinement
• The existence of refinement mappings
• Process simulation and refinement
• A state-based approach to communicating processes
• On correct refinement of programs
• Proof of correctness of data representations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item