'Atomic void acquire' presentation slideshows

Verifying Commit-Atomicity Using Model Checking

Verifying Commit-Atomicity Using Model Checking. Cormac Flanagan University of California, Santa Cruz. Model Checker. ?. ?. filesystem model. Model Construction. Model Checking of Software Models. Specification for filesystem.c. // filesystem.c void create(..) { ... }

417 views • 27 slides