Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 760713
%A Godefroid, Patrice
%A Wolper, Pierre
%B CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification
%C London, UK
%D 1992
%I Springer-Verlag
%K concurrent coverability orders safety verification
%P 332--342
%T Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
%@ 3-540-55179-4
@inproceedings{760713,
added-at = {2010-04-21T11:06:46.000+0200},
address = {London, UK},
author = {Godefroid, Patrice and Wolper, Pierre},
biburl = {https://www.bibsonomy.org/bibtex/21a8f8ee0613bc9f9ce0299d1e80f2fb1/giuliano.losa},
booktitle = {CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification},
interhash = {9352f0b73a620692b82998e9959e366e},
intrahash = {1a8f8ee0613bc9f9ce0299d1e80f2fb1},
isbn = {3-540-55179-4},
keywords = {concurrent coverability orders safety verification},
pages = {332--342},
publisher = {Springer-Verlag},
timestamp = {2010-04-21T11:06:47.000+0200},
title = {Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties},
year = 1992
}
