Pages that link to "Item:Q2432218"

The following pages link to CSP theorems for communicating B machines (Q2432218):

Displaying 14 items.

• Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
• A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
• Hume box calculus: Robust system development through software transformation (Q656858) (← links)
• The behavioural semantics of Event-B refinement (Q736910) (← links)
• Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
• Laws of mission-based programming (Q2355382) (← links)
• Responsiveness and stable revivals (Q2642988) (← links)
• Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
• Reasoning About Resources in the Embedded Systems Language Hume (Q3460507) (← links)
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)
• UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)