| 
|
Quote: the ESP compiler extracts Spin models for checking; can often fully debug with the model checker
topics >
all references >
references i-l >
Topic:
model checker
Topic:
type-safe and secure languages
Topic:
debugging techniques
Group:
parallel processing
Quotation Skeleton
To support ease of debugging, ESP allows the … [ref] to extensively test the program. The ESP compiler … not only generates an executable but also extracts … [ref]. This minimizes the effort required in using a model checker … being ported to run on the device. This … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: type-safe and secure languages (42 items)
Topic: debugging techniques (23 items)
Group: parallel processing (41 topics, 1116 quotes)