I
Isabel Garcia-Contreras
Researcher at IMDEA
Publications - 18
Citations - 59
Isabel Garcia-Contreras is an academic researcher from IMDEA. The author has contributed to research in topics: Abstract interpretation & Modular design. The author has an hindex of 4, co-authored 14 publications receiving 29 citations. Previous affiliations of Isabel Garcia-Contreras include Technical University of Madrid.
Papers
More filters
Efficient Modular SMT-Based Model Checking of Pointer Programs (cid:63)
TL;DR: In this paper , a technique to encode the memory that is bounded explicitly, eliminating the need for quantified summaries, is presented, which can be used to reduce the complexity of quantification and subsequent reasoning.
Posted Content
VeriFly: On-the-fly Assertion Checking via Incrementality
Miguel A. Sanchez-Ordaz,Isabel Garcia-Contreras,Victor Perez-Carrasco,José F. Morales,Pedro López-García,Manuel V. Hermenegildo +5 more
TL;DR: VeriFly as mentioned in this paper is a static analysis and verification framework for Prolog programs that combines modular and incremental analysis that is responsive to program edits, at different levels of granularity.
Journal ArticleDOI
Fast Approximations of Quantifier Elimination
TL;DR: The QEL framework as mentioned in this paper provides a uniform interface for both quantifier reduction and model-based projection, which is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses.