| 
|
Quote: the TimeLine graphical editor simplifies the specification of basic temporal properties for SPIN model checkers; linear temporal logic is difficult to use
topics >
all references >
references g-h >
Topic:
logic
Topic:
model checker
Topic:
temporal relationships
Group:
parallel processing
Topic:
logic programming
Quotation Skeleton
To use [Linear Temporal Logic (Spin)] well requires a level of … . A small example can illustrate this effect. … We have pursued an alternative approach, based on … [TimeLine] for the specification of basic temporal properties [Smith et al, Int. Symp. on Requirements Engineering, 2001]. The types … of LTL allows, but this appears not to … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: model checker (49 items)
Topic: temporal relationships (40 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: logic programming (34 items)