| 
|
Quote: program proving and automatic derivation of code from formal specifications are not important; e.g., implementation of formal specifications caused few errors
topics >
all references >
references t-z >
Topic:
executable code from specifications and designs
Topic:
program proving is infeasible
Quotation Skeleton
The overall impression of the BOS team is … that program proving and the formal and (semi) … problems from BOS supports this view by showing … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: executable code from specifications and designs (18 items)
Topic: program proving is infeasible (46 items)