Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.
Georgia GiannopoulouKai LampkaNikolay StoimenovLothar ThielePublished in: EMSOFT (2012)
Keyphrases
- model checking
- response time
- resource sharing
- finite state machines
- timed automata
- temporal logic
- partial order reduction
- worst case
- automated verification
- formal verification
- asynchronous circuits
- grid systems
- formal methods
- computation tree logic
- transition systems
- model checker
- temporal properties
- distributed systems
- resource allocation
- knowledge based systems
- verification method
- cloud computing
- load balancing
- distributed computing
- scheduling algorithm