Using model checking to find serious file system errors
In: ACM Transactions on Computer Systems, Jg. 24 (2006-11-01), Heft 4, S. 393-423
Online
academicJournal
Zugriff:
Titel: |
Using model checking to find serious file system errors
|
---|---|
Autor/in / Beteiligte Person: | Yang, Junfeng ; Twohey, Paul ; Engler, Dawson ; Musuvathi, Madanlal |
Link: | |
Zeitschrift: | ACM Transactions on Computer Systems, Jg. 24 (2006-11-01), Heft 4, S. 393-423 |
Veröffentlichung: | 2006 |
Medientyp: | academicJournal |
ISSN: | 0734-2071 (print) |
Sonstiges: |
|