| 
|
Quote: model checkers find a few difficult errors with simplified code; meta-level compilation works directly with program source and found many errors
topics >
all references >
references c-d >
Topic:
model checker
Topic:
debugging by usage rules
Topic:
program proving is infeasible
Quotation Skeleton
Formal verification uses theorem provers/checkers [refs] or model … [refs] … reach by other means. However, specifications are difficult … most verification papers find a small number of … and, in reality, suffer from over-simplifications and missing … [meta-level compilation] extensions work directly with the program source rather than an … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: debugging by usage rules (40 items)
Topic: program proving is infeasible (46 items)