Microsoft Research
Microsoft Translator |
Depth bounded explicit-state model checking

Abhishek Udupa, Ankush Desai, and Sriram Rajamani
2011

In  Proceedings of the 18th international SPIN conference on Model checking software

Publisher  Springer-Verlag

Details

TypeInproceedings
URLhttp://dl.acm.org/citation.cfm?id=2032692.2032700
Pages57–74
ISBN978-3-642-22305-1
AddressBerlin, Heidelberg
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Depth bounded explicit-state model checking