Using model checking to find serious file system errors
Yang, Junfeng, Twohey, Paul, Engler, Dawson, Musuvathi, MadanlalVolume:
24
Langue:
english
Journal:
ACM Transactions on Computer Systems
DOI:
10.1145/1189256.1189259
Date:
November, 2006
Fichier:
PDF, 521 KB
english, 2006