Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).
Rajeev AlurLalita Jategaonkar JagadeesanJoseph J. KottJames Von OlnhausenPublished in: ICSE (1997)
Keyphrases
- model checking
- real time systems
- temporal logic
- timed automata
- formal verification
- automated verification
- formal specification
- reactive systems
- artificial intelligence
- reachability analysis
- concurrent systems
- symbolic model checking
- temporal properties
- model checker
- distributed systems
- bounded model checking
- real time
- cooperative
- multi agent
- reinforcement learning
- computation tree logic