| 
|
Quote: using function-theoretic design verification, a team review checked 1200 correctness questions in a few days; astonishing savings during test
topics >
all references >
references i-l >
Group:
program proving
Topic:
software review
Quotation Skeleton
Literally hundreds of such [function-theoretic design] verifications can be … 3300-line COBOL/SF Parser Generator program contained over 700 … accomplished in a few days work. Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: software review (80 items)