Depth bounded explicit-state model checking

Abhishek Udupa, Ankush Desai, and Sriram Rajamani

Details

Publication typeInproceedings
Published inProceedings of the 18th international SPIN conference on Model checking software
URLhttp://dl.acm.org/citation.cfm?id=2032692.2032700
Pages57–74
ISBN978-3-642-22305-1
AddressBerlin, Heidelberg
PublisherSpringer-Verlag
> Publications > Depth bounded explicit-state model checking