Model checking action system refinements

DOI10.1007/S00165-007-0053-4zbMath1165.68046OpenAlexW2089250473MaRDI QIDQ1019017

Kirsten Winter, Graeme Smith

Publication date: 27 May 2009

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-007-0053-4

zbMATH Keywords

model checkingrefinementCTLaction systems

Mathematics Subject Classification ID

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

Related Items (1)

Model Checking Simulation Rules for Linearizability

Uses Software

• ProB
• Z

Cites Work

• Verifying data refinements using a model checker
• Process simulation and refinement
• A state-based approach to communicating processes
• The B-Book
• Model-checking CSP-Z: Strategy, tool support and industrial application
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model checking action system refinements