Map
Index
Random
Help
th

Quote: a verification model must identify control states, event types, and event responses as code fragments

topics > all references > references g-h > QuoteRef: holzGJ5_1999 , p. 599



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

Related Topics up

Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: constructing proof and program together (22 items)
Topic: event controlled processing (46 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.