Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

...
Author:  Patrice Godefroid
5 downloads 289 Views 1MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

Texts in Computer Science Editors David Gries Fred B. Schneider For further volumes: www.springer.comlseries/3 191 PD...
! Concurrent and Real Time Systems: the CSP approach by Steve Schneider First published 1999 with John Wiley & Sons, L...
Ebook Seller: www.ebookiran.ir Tel: 021-77495324 Pishro Fanavary ghaed Co f ' NUMERICAL METHODS FOR ORDINARY DIFFE...
Acceptable Premises An Epistemic Approach to an Informal Logic Problem When, if ever, is one justified in accepting the ...
Systems and Control: Foundations & Applications Series Editor Tamer Bas¸ar, University of Illinois at Urbana-Champaign ...
the user’s approach to topological methods in 3d dynamical systems This page intentionally left blank the user’s a...
the user’s approach to topological methods in 3d dynamical systems This page intentionally left blank the user’s a...
the user’s approach to topological methods in 3d dynamical systems This page intentionally left blank the user’s a...