| 
|
Quote: graphical time-line editor for writing requirements for a logic model checker; a requirement consists of a preamble, a response, constriants, and ignored events
topics >
all references >
references sa-sz >
Topic:
model checker
Topic:
requirement specification by diagrams
Quotation Skeleton
A logic model checker can be an effective … Expressing non-trivial requirements in logic, however, can be … formalization of certain kinds of requirements. A series … specification automatically into a test automaton, that can … the TimeLine Editor to verify the call processing … task of converting a large body of English … [p. 15] Specifically the TimeLine Editor can express requirements … execution sequences) and a response. … [p. 17] We can use constraints to specify that … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: requirement specification by diagrams (27 items)