| 
|
Quote: model checking is automated, symbolic testing for properties expressed in temporal logic; can handle 10^100 states
topics >
all references >
references t-z >
Topic:
logic
Group:
program proving
Topic:
temporal relationships
Quotation Skeleton
Model checking is not only decidable, but for … to verification. Model checking can thus be seen … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Group: program proving (10 topics, 310 quotes)
Topic: temporal relationships (40 items)