|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
3.0 out of 5 stars
how to verify parallel code,
By
This review is from: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (Paperback)
Sadly, the experience of reading the book is severely marred by the low quality of the printing. The text does not appear crisply. Instead, it is fuzzy. Detracting from the underlying messages.
The topic itself may be of some interest to those working on parallel computing. With code customised for a given parallel architecture, a key question is how to verify it? Hailpern offers some ideas grounded in temporal logic. Not every architecture being used today might qualify. But the payoff is automated verification that is absolute in a mathematical sense. Perhaps worth your while spending some time investigating his ideas? |
|
Most Helpful First | Newest First
|
|
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) by Brent T. Hailpern (Paperback - July 1982)
$52.95
In Stock | |
 
| ||
