The following pages link to (Q4483796):
Displaying 8 items.
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Q1578397) (← links)
- Live and let die: LSC based verification of UML models (Q1776581) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Towards Checking Parametric Reachability for UML State Machines (Q3402288) (← links)
- Quantitative Analysis of UML Statechart Models of Dependable Systems (Q4551648) (← links)
- Model Checking Software (Q5308370) (← links)