Proof Slicing with Application to Model Checking Web Services.
Hai HuangWei-Tek TsaiRaymond A. PaulPublished in: ISORC (2005)
Keyphrases
- model checking
- temporal logic
- web services
- formal verification
- finite state
- symbolic model checking
- finite state machines
- model checker
- bounded model checking
- formal methods
- formal specification
- verification method
- timed automata
- automated verification
- description language
- process algebra
- linear temporal logic
- service oriented
- reachability analysis
- partial order reduction