Pages that link to "Item:Q2432218"
From MaRDI portal
The following pages link to CSP theorems for communicating B machines (Q2432218):
Displaying 13 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)