Quote: a property is a set of system behaviors; verify for each possible system execution

Quotation Skeleton

We will formally define a property to be … the behavior (a sequence of states and agents) … [p. 79] Our definition of a property as a … by examining each possible system execution by itself, … [This means can specify an average over an execution but not over all executions].   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: requirement specification by behaviors (16 items)