A Computer-Checked Verification of Milner's Scheduler.

Henri Korver Jan Springintveld

Published in: TACS (1994)

Keyphrases

computer systems
model checking
genetic algorithm
database systems
scheduling algorithm
formal verification
computer controlled
neural network
artificial intelligence
case study
hidden markov models
management system
computer technology
formal analysis
asynchronous circuits