The following pages link to (Q2763965):
Displayed 11 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Timed CSP = Closed Timed Automata1 (Q2842610) (← links)
- (Q2842868) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- (Q5020651) (← links)