| 
|
Quote: logic model checking is effective for concurrency-related errors; based on temporal logic as proposed by Pnueli
topics >
all references >
references g-h >
Topic:
logic
Topic:
model checker
Group:
parallel processing
Quotation Skeleton
The standard method to express the correctness requirements … this purpose by Amir Pnueli in [FOCS 1977, 46-57]. … [p. 87] We know of only one effective method … logic model checking. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: model checker (49 items)
Group: parallel processing (41 topics, 1116 quotes)