Verifying Statemate Statecharts Using CSP and FDR.
A. W. RoscoeZhenzhong WuPublished in: ICFEM (2006)
Keyphrases
- constraint satisfaction problems
- model checking
- false discovery rate
- model checker
- decomposition methods
- constraint programming
- constraint propagation
- arc consistency
- constraint satisfaction
- agent oriented
- np hard
- solving constraint satisfaction problems
- formal methods
- tree decomposition
- class diagrams
- tree decompositions
- constraint networks
- reactive systems
- hypertree decomposition
- np complete
- formal verification
- hypothesis testing
- constraint problems
- regression testing
- sequence diagrams
- constraint graph
- relational databases
- partial constraint satisfaction