An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Maurice H. ter BeekAlessandro FantechiStefania GnesiFranco MazzantiPublished in: FMICS (2007)
Keyphrases
- service oriented
- model checking
- transition systems
- temporal logic
- communication protocols
- web services
- temporal properties
- finite state machines
- model checker
- computation tree logic
- deterministic finite automaton
- abstract interpretation
- automated verification
- concurrent systems
- state space
- symbolic model checking
- static analysis
- timed automata
- formal specification
- service oriented architecture
- software systems
- wireless sensor networks