| 
|
Quote: a specification is realizable iff the system has a winning strategy; i.e., the system wins under all legal environment behaviors
topics >
all references >
references a-b >
Group:
requirement specification
Topic:
proving concurrent programs
Quotation Skeleton
A specification is … realizable iff the system has a winning strategy--that … [i.e., meet the specification] no matter what moves the environment makes. Google-1 Google-2
Copyright clearance needed for quotation.
Group: requirement specification (11 topics, 306 quotes)
Topic: proving concurrent programs (37 items)