Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.
Islam AbdelhalimJames SharpSteve A. SchneiderHelen TreharnePublished in: ICFEM (2010)
Keyphrases
- formal verification
- constraint satisfaction problems
- model checking
- model checker
- bounded model checking
- automated verification
- constraint satisfaction
- decomposition methods
- symbolic model checking
- temporal logic
- arc consistency
- constraint propagation
- tree decompositions
- constraint networks
- tree decomposition
- constraint programming
- np hard
- np complete
- program slicing
- sat encodings
- hypertree decomposition