Scheduling analysis based on model checking for multiprocessor real-time systems.
Walid KaramtiAdel MahfoudhiPublished in: J. Supercomput. (2014)
Keyphrases
- model checking
- real time systems
- timed automata
- real time database systems
- temporal logic
- formal verification
- formal specification
- formal methods
- reactive systems
- scheduling algorithm
- abstract interpretation
- real time
- bounded model checking
- temporal properties
- model checker
- finite state
- epistemic logic
- asynchronous circuits
- theorem prover
- transition systems
- markov decision processes
- cooperative