Login / Signup
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