Items related to Partial-Order Methods for the Verification of Concurrent...

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

 
9783662181522: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Softcover
ISBN 10: 3662181525 ISBN 13: 9783662181522
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification of safety properties.- Model checking.- Experiments.- Conclusions.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2014
  • ISBN 10 3662181525
  • ISBN 13 9783662181522
  • BindingPaperback
  • LanguageEnglish
  • Number of pages156
  • EditorGodefroid Patrice

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540607618: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science, 1032)

Featured Edition

ISBN 10:  3540607617 ISBN 13:  9783540607618
Publisher: Springer, 1996
Softcover