| 
|
Quote: a verification model must identify control states, event types, and event responses as code fragments
topics >
all references >
references g-h >
Topic:
state machine
Topic:
model checker
Topic:
constructing proof and program together
Topic:
event controlled processing
Quotation Skeleton
To extract verification models mechanically from source, the … constitute event responses. It takes remarkably little to … To illustrate the notation [for implementing control states in event-driven systems], which is informally … The state name [@S0] expands into two control … B_S0 and A_S0. The first label corresponds to … [A_S0] moves it to the point of execution … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: use @-format to implement control states in event-driven software; labels to suspend and resume execution
Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: constructing proof and program together (22 items)
Topic: event controlled processing (46 items)