| 
|
QuoteRef: thomS4_2000
topics >
all references >
ThesaHelp:
references t-z
Topic:
logic
Topic:
temporal relationships
Group:
program proving
Reference
Thompson, S., "review 0004-0230 of Clarke, Grumberg, Peled, Model Checking, MIT Press 1999", Computing Reviews, April 2000, pp. 186-187. Google
186 ;;Quote: formulas in temporal logic easier to read than first-order logic and decidable; useful for reactive systems; e.g., P will hold eventually
186 ;;Quote: model checking is automated, symbolic testing for properties expressed in temporal logic; can handle 10^100 states
186 ;;Quote: a model checker produces a system trace that failed a particular property; particularly useful to diagnosing problems
ThesaHelp: references t-z (309 items)
Topic: logic (84 items)
Topic: temporal relationships (40 items)
Group: program proving (10 topics, 310 quotes)