| 
|
Quote: run-time annotation checking is practical because it checks individual executions, while verification checks the entire state space
topics >
all references >
references sa-sz >
Topic:
run-time assertions
Quotation Skeleton
As far as detection of bugs is concerned, … annotation checking is performed on individual executions of … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: run-time assertions (25 items)