Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms.

Salwa Habbachi Zhiwu Li Mohamed Khalgui

Published in: VECoS (2020)

Keyphrases

formal verification
scheduling algorithm
real time
real time database systems
model checking
response time
model checker
resource requirements
symbolic model checking
automated verification
scheduling strategy
bounded model checking
scheduling policies
computational grids