Requirements, specifications, and minimal refinement

DOI10.1016/S1571-0661(04)80550-4zbMath1261.68085MaRDI QIDQ4916211

Nikos Gorogiannis, Mark D. Ryan

Publication date: 19 April 2013

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

zbMATH Keywords

requirementsspecificationsrefinements

Mathematics Subject Classification ID

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

Related Items (2)

Minimal refinements of specifications in modal and temporal logics ⋮ Minimal refinements of specifications in modal and temporal logics

Cites Work

• The existence of refinement mappings
• Propositional knowledge base revision and minimal change
• Modal logic over finite structures
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Requirements, specifications, and minimal refinement