A Mini Challenge: Build a Verifiable Filesystem.

Rajeev Joshi Gerard J. Holzmann

Published in: VSTTE (2005)

Keyphrases

real time
operating system
case study
high quality
artificial neural networks
genetic algorithm
social networks
decision making
training data
reinforcement learning
pattern recognition
distributed systems
sufficient conditions