Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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