| 
|
Quote: Slam found many errors in Windows device drivers; it separates the control path from the data path; e.g., resource use
Topic:
declarative vs. procedural representation
Topic:
debugging by usage rules
Topic:
device driver
Topic:
owned resources and data objects
Quotation Skeleton
We used Slam to analyze more than one … errors. Slam is successful in this domain because … proper kernel resource use Google-1 Google-2
Copyright clearance needed for quotation.
Topic: declarative vs. procedural representation (54 items)
Topic: debugging by usage rules (41 items)
Topic: device driver (15 items)
Topic: owned resources and data objects (12 items)