Search citation statements

Order By: Relevance
Select...
2
2
1
2
16
0

Year Published

2013
2013
2013
2013

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

2
16
0
Order By: Relevance
“…Abstract interpretation based techniques either ignore [15,22] or restrict conditions on branches to equalities or dis-equalities [17,6,21,4]. The techniques of [6,21,22,15] use Gröbner bases computations and [17] has no upper complexity bound.…”
Section: Related Workmentioning
See 2 more Smart Citations
Create an account to read the remaining citation statements from this report. You will also get access to:
  • Search over 1.2b+ citation statments to see what is being said about any topic in the research literature
  • Advanced Search to find publications that support or contrast your research
  • Citation reports and visualizations to easily see what publications are saying about each other
  • Browser extension to see Smart Citations wherever you read research
  • Dashboards to evaluate and keep track of groups of publications
  • Alerts to stay on top of citations as they happen
  • Automated reference checks to make sure you are citing reliable research in your manuscripts
  • 7 day free preview of our premium features.

Trusted by researchers and organizations around the world

Over 130,000 students researchers, and industry experts at use scite

See what students are saying

rupbmjkragerfmgwileyiopcupepmcmbcthiemesagefrontiersapsiucrarxivemeralduhksmucshluniversity-of-gavle
“…Abstract interpretation based techniques either ignore [15,22] or restrict conditions on branches to equalities or dis-equalities [17,6,21,4]. The techniques of [6,21,22,15] use Gröbner bases computations and [17] has no upper complexity bound.…”
Section: Related Workmentioning
“…The techniques of [6,21,22,15] use Gröbner bases computations and [17] has no upper complexity bound. Cachera et al [4] provide an algorithm that does not use Gröbner bases but interprets variables as taking values over the real numbers.…”
Section: Related Workmentioning
See 1 more Smart Citation
“…Existing sound tools for non-linear invariant generation can produce invariants that are conjunctions of polynomial equalities [51,38,50,14,46,53,17]. However, by imposing strict restrictions on syntax (such as no nested loops) [51,38] do not need to assume the degree of polynomials as the input.…”
Section: Comparison With Tools For Non-linear Invariantsmentioning
“…However, by imposing strict restrictions on syntax (such as no nested loops) [51,38] do not need to assume the degree of polynomials as the input. Bagnara et al [4] introduce new variables for monomials and generate linear invariants over them by abstract interpretation over convex polyhedra.…”
Section: Comparison With Tools For Non-linear Invariantsmentioning