| 
|
Quote: model a concurrent system by state transitions and fairness requirements; use invariant and leads-to assertions and Hoare logic
topics >
all references >
references sa-sz >
Topic:
proving concurrent programs
Quotation Skeleton
This is a tutorial introduction to assertional reasoning … We model a concurrent system by a state … of linear-time temporal logic, specifically, invariant assertions and … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)