Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
Nan GuanZonghua GuQingxu DengShuaihong GaoGe YuPublished in: SEUS (2007)
Keyphrases
- model checking
- dynamic analysis
- temporal logic
- symbolic model checking
- abstract interpretation
- automated verification
- concurrent systems
- temporal properties
- static analysis
- formal verification
- asynchronous circuits
- finite state machines
- bounded model checking
- termination analysis
- active rules
- model checker
- pspace complete
- data flow
- reverse engineering
- np complete