2010
DOI: 10.1007/978-3-642-11319-2_15
|View full text |Cite
|
Sign up to set email alerts
|

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
45
0

Year Published

2010
2010
2018
2018

Publication Types

Select...
6

Relationship

2
4

Authors

Journals

citations
Cited by 17 publications
(45 citation statements)
references
References 24 publications
0
45
0
Order By: Relevance
“…Algorithmic learning [36,34] approaches also iteratively invoke search and validate phases. They use a CDNF learning algorithm that requires membership queries, "is a conjunction of atomic predicates contained in the invariant?…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Algorithmic learning [36,34] approaches also iteratively invoke search and validate phases. They use a CDNF learning algorithm that requires membership queries, "is a conjunction of atomic predicates contained in the invariant?…”
Section: Related Workmentioning
confidence: 99%
“…The use of a decision procedure as a checker for candidate invariants is also not novel [34,36,45,46,42,20,19]. The main contribution of this paper is a general and effective search procedure that makes a framework like c2i feasible.…”
Section: Introductionmentioning
confidence: 99%
“…Recently, an automated technique based on algorithmic learning and predicate abstraction is proposed [14]. Given a fixed set of atomic predicates and an annotated loop, the learningbased technique can infer a quantifier-free loop invariant generated by the given atomic predicates.…”
Section: Introductionmentioning
confidence: 99%
“…We instead interpolate the loop body with purported loop invariants from the learning algorithm. Our technique can improve the effectiveness and efficiency of the learning-based loop invariant inference algorithm in [14]. Constructing sets of atomic predicates can be fully automatic and on-demand.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation