| 
|
Quote: programmers and implementers use the formal specification of Modula-3 threads
topics >
all references >
references a-b >
Group:
program proving
Group:
requirement specification
Topic:
proving concurrent programs
Quotation Skeleton
The specification presented here is part of the … seem to be able to read our specification … [For example,] The original specification of AlertWait did not … an hour by someone with no prior knowledge … We must also report two more worrisome incidents: … of use was discovered while the original version … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an untrained user found an error in the formal specification of Modula-3 threads; another error was missed for a year
Group: program proving (10 topics, 310 quotes)
Group: requirement specification (11 topics, 306 quotes)
Topic: proving concurrent programs (37 items)