Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.
Farn WangPublished in: AMAST (2004)
Keyphrases
- model checking
- real time systems
- distributed systems
- timed automata
- temporal logic
- finite state machines
- reactive systems
- temporal properties
- concurrent systems
- real time embedded
- symbolic model checking
- verification method
- automated verification
- epistemic logic
- formal specification
- real time
- model checker
- formal verification
- bounded model checking
- transition systems
- computation tree logic
- embedded systems
- reachability analysis
- multi agent
- pspace complete
- asynchronous circuits
- heuristic search
- resource allocation
- cooperative
- alternating time temporal logic