A simple method for extracting models for protocol code.

David Lie, Andy Chou, Dawson R. Engler, David L. Dill

Browse the full ISCA paper archive.