Interactive tool support for CSP \(\parallel\) B consistency checking

DOI10.1007/S00165-007-0034-7zbMath1125.68075OpenAlexW1975898810MaRDI QIDQ2642989

Helen Treharne, Neil D. Evans

Publication date: 6 September 2007

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

Full work available at URL: https://doi.org/10.1007/s00165-007-0034-7

zbMATH Keywords

CSPBFormal method integrationRely/guarantee techniquesTool supported verification

Mathematics Subject Classification ID

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

Related Items (1)

Component simulation-based substitutivity managing QoS and composition issues

Uses Software

• PVS
• Circus

Cites Work

• Structural refinement of systems specified in Object-Z and CSP
• CSP theorems for communicating B machines
• The B-Book
• FM 2005: Formal Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interactive tool support for CSP \(\parallel\) B consistency checking