Login / Signup
Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction.
Yimi Zhao
Srinidhi Srinivasan
Geoffrey Nelissen
Mitra Nasri
Published in:
RTSS (2023)
Keyphrases
</>
counter examples
scheduling problem
bounded model checking
answer sets
response time
scheduling algorithm
higher priority
data abstraction
high level
knowledge base
databases
logic programs
generation process
automatically generating
low level
critical path
search engine