Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

2
660
0
9

Publication Types

Select...
7
3

Relationship

0
10

Authors

Journals

citations
Cited by 666 publications
(671 citation statements)
references
References 11 publications
2
660
0
9
Order By: Relevance
“…In order to enable verification via model checking, expressing the verification task as a temporal-logic formula such as Computation Tree Logic (CTL) [27] is required. Hence, the system has to guarantee that the maximum time for the production of one WP (t_max = t_delivery / n_wp) is never exceeded.…”
Section: Model Checking Apsmentioning
confidence: 99%
“…In order to enable verification via model checking, expressing the verification task as a temporal-logic formula such as Computation Tree Logic (CTL) [27] is required. Hence, the system has to guarantee that the maximum time for the production of one WP (t_max = t_delivery / n_wp) is never exceeded.…”
Section: Model Checking Apsmentioning
confidence: 99%
“…COMPUTATION TREE LOGIC CTL [14] is a branching-time logic which models system evolution as a tree-like structure where each state can evolve in several different possible ways. In CTL each basic temporal operator (X, F , G) must be immediately preceded by a path quantifier (either A or E).…”
Section: Introductionmentioning
confidence: 99%
“…The main ideas of model checking appeared 30 years ago [31,32]. At present, numerous model-checking tools exist.…”
Section: Introductionmentioning
confidence: 99%