Login / Signup
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.
June Andronick
Corey Lewis
Daniel Matichuk
Carroll Morgan
Christine Rizkallah
Published in:
ITP (2016)
Keyphrases
</>
operating system
theorem proving
scheduling problem
flexible manufacturing systems
resource allocation
database
database systems
open source
scheduling algorithm
theorem prover
resource constraints
behavior analysis
linear logic
deadlock free