The following pages link to FM 2005: Formal Methods (Q5716879):
Displaying 11 items.
- Model checking RAISE applicative specifications (Q470000) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- FDR explorer (Q1019020) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Type checking \textsf{Circus} specifications (Q2873610) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709374) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)