| 
|
QuoteRef: pratVR_1980
topics >
all references >
ThesaHelp:
references p-r
ThesaHelp:
ACM references m-z
Topic:
program proof via assertions
Topic:
theorem proving systems
Topic:
man-machine symbiosis
Reference
Pratt, V.R., "On specifying verifiers ", ACM Principles of Programming Languages , pp. 106-116 , 1980. Google
109 ;;Quote: a proof is a set of correct assertions; use a proof system to keep track of proved and unproved assertions
ThesaHelp: references p-r (245 items)
ThesaHelp: ACM references m-z (280 items)
Topic: program proof via assertions (61 items)
Topic: theorem proving systems (20 items)
Topic: man-machine symbiosis (46 items)