The following pages link to FM 2005: Formal Methods (Q5716878):
Displayed 10 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Graph Generation to Statically Represent CSP Processes (Q3003484) (← links)
- CSP with Hierarchical State (Q3605464) (← links)
- The MEB and CEB Static Analysis for CSP Specifications (Q3617433) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)