Map
Index
Random
Help
th

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 > QuoteRef: chouA11_2000 , p. 68



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.


Related Topics up

Topic: model checker (49 items)
Topic: debugging by usage rules (40 items)
Topic: program proving is infeasible (46 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.