×

Found 48 Documents (Results 1–48)

100
MathJax

Interpolation and amalgamation for arrays with MaxDiff. (English) Zbl 07410429

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 268-288 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Model completeness, covers and superposition. (English) Zbl 07178974

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 142-160 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI

Solving constrained Horn clauses using dependence-disjoint expansions. (English) Zbl 07447757

Kahsai, Temesghen (ed.) et al., Proceedings of the fifth workshop on Horn clauses for verification and synthesis, HCVS 2018, Oxford, UK, July 13, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 278, 3-18 (2018).
MSC:  03B70 68Q60
PDF BibTeX XML Cite
Full Text: arXiv Link

Counterexample-guided refinement of template polyhedra. (English) Zbl 1452.68099

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 589-606 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Sharpening constraint programming approaches for bit-vector theory. (English) Zbl 1489.68249

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 3-20 (2017).
MSC:  68T20 68Q60 68V15
PDF BibTeX XML Cite
Full Text: DOI Link

Counterexample validation and interpolation-based refinement for forest automata. (English) Zbl 1484.68103

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 288-309 (2017).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Dynamic reductions for model checking concurrent software. (English) Zbl 1484.68102

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 246-265 (2017).
MSC:  68Q60 68N19 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths. (English) Zbl 1478.68140

Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 36-51 (2016).
MSC:  68Q60 68N30 68V15
PDF BibTeX XML Cite
Full Text: DOI

A configurable CEGAR framework with interpolation-based refinements. (English) Zbl 1347.68226

Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 158-174 (2016).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Predicate abstraction in program verification: survey and current trends. (English) Zbl 1427.68165

Neykova, Rumyana (ed.) et al., 2014 Imperial College computing student workshop, ICCSW’14, London, UK, September 25–26, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 43, 27-35 (2014).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

On abstraction of probabilistic systems. (English) Zbl 1426.68167

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 87-116 (2014).
MSC:  68Q60 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI Link

Splitting via interpolants. (English) Zbl 1326.68091

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 186-201 (2012).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Whale: an interpolation-based algorithm for inter-procedural verification. (English) Zbl 1325.68137

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 39-55 (2012).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Predicate generation for learning-based quantifier-free loop invariant inference. (English) Zbl 1315.68097

Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 205-219 (2011).
MSC:  68N30 68N25 68Q32
PDF BibTeX XML Cite
Full Text: DOI arXiv

An interpolating sequent calculus for quantifier-free Presburger arithmetic. (English) Zbl 1291.03112

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 384-399 (2010).
MSC:  03F30 03B35 03C40 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Refinement of trace abstraction. (English) Zbl 1248.68146

Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 69-85 (2009).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Ground interpolation for combined theories. (English) Zbl 1250.68188

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 183-198 (2009).
MSC:  68Q60 03B35 03C40
PDF BibTeX XML Cite
Full Text: DOI Link

Interpolant generation for UTVPI. (English) Zbl 1250.68186

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 167-182 (2009).
MSC:  68Q60 03B35 03C40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

Classification

all top 3

Software