Schedulability Analysis for MultiCore Global Scheduling with Model Checking.

Wei Sheng Yanyan Gao Li Xi Xuehai Zhou

Published in: MTV (2010)

Keyphrases

model checking
temporal logic
temporal properties
formal verification
formal specification
symbolic model checking
abstract interpretation
finite state
formal methods
epistemic logic
verification method
transition systems
automated verification