2000
DOI: 10.1007/3-540-40922-x_8
|View full text |Cite
|
Sign up to set email alerts
|

Checking Safety Properties Using Induction and a SAT-Solver

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

1
443
0
1

Year Published

2005
2005
2018
2018

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 477 publications
(445 citation statements)
references
References 3 publications
1
443
0
1
Order By: Relevance
“…Later, it was improved and made complete for safety [6,7] and liveness [17] properties. In the complete inductive method, if the induction proves the property or the completeness criterion is met, the algorithm reports that the property is satisfied.…”
Section: Related Workmentioning
confidence: 99%
See 4 more Smart Citations
“…Later, it was improved and made complete for safety [6,7] and liveness [17] properties. In the complete inductive method, if the induction proves the property or the completeness criterion is met, the algorithm reports that the property is satisfied.…”
Section: Related Workmentioning
confidence: 99%
“…Ideally, one would like to apply the techniques in [6][7][8][9] to develop similar on-the-fly completeness criteria for branching-time temporal logics. However, the techniques used in [6][7][8][9] are based essentially on closely examining paths of interest. It is unclear whether the approach would work for branchingtime temporal logics.…”
Section: Related Workmentioning
confidence: 99%
See 3 more Smart Citations