Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.
Jun SunYang LiuJin Song DongXian ZhangPublished in: ICFEM (2009)
Keyphrases
- constraint satisfaction problems
- petri net
- model checking
- constraint propagation
- decomposition methods
- timed automata
- constraint satisfaction
- high level
- discrete event
- publish subscribe
- constraint programming
- arc consistency
- tree decompositions
- solving constraint satisfaction problems
- constraint solving
- tree decomposition
- data abstraction
- database
- closest string
- genetic algorithm
- information retrieval