| 
|
QuoteRef: sankS3_1991
topics >
all references >
ThesaHelp:
ACM references m-z
ThesaHelp:
references sa-sz
Topic:
run-time assertions
Reference
Sankar, S., Rosenblum, D.S., "Surveyors' Forum: Runtime checking and debugging of formally specified programs", ACM Computing Surveys, 23, 1, pp. 125-127, March 1991. Google
126 ;;Quote: run-time annotation checking is practical because it checks individual executions, while verification checks the entire state space
ThesaHelp: ACM references m-z (280 items)
ThesaHelp: references sa-sz (237 items)
Topic: run-time assertions (25 items)