Interactively Verifying a Simple Real-time Scheduler.

Colin J. Fidge Peter Kearney Mark Utting

Published in: CAV (1995)

Keyphrases

real time
low cost
image processing
high speed
model checking
high fidelity
information retrieval
information systems
case study
multiscale
general purpose
real time systems
highly reliable