Model-based validation for dealing with operator mistakes.

Kiran Nagaraja, Andrew Tjang, Fbio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen

Browse the full SOSP paper archive.