Simplifying Runtime Verification of Distributed Programs

By Eslam Al Maghayreh

Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639283716
• ISBN13: 9783639283716
• Release Date: September 2010
• Publisher: VDM Verlag
• Length: 112 Pages
• Weight: 0.39 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"