| 
|
Quote: event-driven state-machine programming (ESP) for programmable devices; generates a C program and SPIN model; 90% fewer lines of code, low overhead
topics >
all references >
references i-l >
Topic:
state machine
Topic:
model checker
Topic:
event controlled processing
Quotation Skeleton
This paper presents the design and implementation of … support development of compact and modular programs. The … to generate efficient firmware for the device; and … As a case study, we reimplemented VMMC firmware … of programming with event-driven state machines. It required … model-checking verifiers like SPIN can be used to … relatively small. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: event controlled processing (46 items)