Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2020
2020
2020
2020

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 18 publications
0
1
0
Order By: Relevance
“…Moreover, its implementation uses existing technologies that showed encouraging scalability results in previous works; our evaluation confirms the applicability of our solution. Other approaches (e.g., [41], [42], [43], [44], [45], [46], [47]) rely on deductive reasoning techniques to explain model checking verdicts. Different from the approach proposed in this work, they usually provide an exhaustive explanation for a verdict by considering some initial assertions (e.g., simple conditions on the values assumed by the variables in the states of the model) and examining how logical operators can be applied to reach a specific logical conclusion.…”
Section: Related Workmentioning
confidence: 99%
“…Moreover, its implementation uses existing technologies that showed encouraging scalability results in previous works; our evaluation confirms the applicability of our solution. Other approaches (e.g., [41], [42], [43], [44], [45], [46], [47]) rely on deductive reasoning techniques to explain model checking verdicts. Different from the approach proposed in this work, they usually provide an exhaustive explanation for a verdict by considering some initial assertions (e.g., simple conditions on the values assumed by the variables in the states of the model) and examining how logical operators can be applied to reach a specific logical conclusion.…”
Section: Related Workmentioning
confidence: 99%