Using model checkers in an introductory course on operating systems.

Roelof Hamberg Frits W. Vaandrager

Published in: ACM SIGOPS Oper. Syst. Rev. (2008)

Keyphrases

operating system
database
data mining
information systems
data analysis
programming language
computer systems
database applications