| 
|
Quote: need predicate logic to reason effectively about specifications/programs for/of mechanisms
topics >
all references >
references g-h >
Topic:
program proof via assertions
Topic:
automated tests of specifications and designs
Quotation Skeleton
Descriptions of a mechanism are assertions about the … express our assertions is the language of predicate … of interest about the mechanism. A program is … logic. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)
Topic: automated tests of specifications and designs (12 items)