Fair stateless model checking

Madanlal Musuvathi and Shaz Qadeer

Details

Publication typeInproceedings
Published inPLDI 08: Programming Language Design and Implementation
PublisherAssociation for Computing Machinery, Inc.
> Publications > Fair stateless model checking