A mini challenge: build a verifiable filesystem.

Rajeev Joshi Gerard J. Holzmann

Published in: Formal Aspects Comput. (2007)

Keyphrases

sufficient conditions
neural network
operating system
e learning
high quality
computer vision
web pages
image processing
database systems
multi agent
cooperative
multiresolution
data processing
desktop search