Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking.
Zonghua GuPublished in: EUC (2005)
Keyphrases
- end to end
- model checking
- temporal logic
- formal verification
- formal specification
- model checker
- finite state
- temporal properties
- partial order reduction
- automated verification
- pspace complete
- verification method
- congestion control
- epistemic logic
- cooperative
- bounded model checking
- transition systems
- concurrent systems
- symbolic model checking
- formal methods
- asynchronous circuits
- process algebra
- timed automata
- reachability analysis
- multi agent
- linear temporal logic
- application layer
- distributed systems
- computation tree logic
- description language
- response time
- coalition logic