×

Found 65 Documents (Results 1–65)

Lazy abstraction-based controller synthesis. (English) Zbl 1447.93060

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 23-47 (2019).
MSC:  93B30 93C10
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

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

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

Convex invariant refinement by control node splitting: a heuristic approach. (English) Zbl 1294.68059

Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 49-59 (2012).
MSC:  68N30 68Q42 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

Distributed and predictable software model checking. (English) Zbl 1317.68121

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 340-355 (2011).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

Automata learning with automated alphabet abstraction refinement. (English) Zbl 1317.68096

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 263-277 (2011).
MSC:  68Q45 68Q32
PDF BibTeX XML Cite
Full Text: DOI

Refinement-based CFG reconstruction from unstructured programs. (English) Zbl 1317.68028

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 54-69 (2011).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

An assume guarantee approach for checking quantified array assertions. (English) Zbl 1308.68047

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 226-235 (2011).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Verifying multithreaded recursive programs with integer variables. (English) Zbl 1347.68069

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 143-154 (2009).
PDF BibTeX XML Cite
Full Text: DOI

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

Abstraction refinement for quantified array assertions. (English) Zbl 1248.68151

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, 3-18 (2009).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

Complexity and algorithms for monomial and clausal predicate abstraction. (English) Zbl 1250.68194

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, 214-229 (2009).
MSC:  68Q60 03B35 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Verifying reference counting implementations. (English) Zbl 1234.68254

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 352-367 (2009).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

Falsifying safety properties through games on over-approximating models. (English) Zbl 1337.68063

Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 71-86 (2008).
MSC:  68N30 91A80
PDF BibTeX XML Cite
Full Text: DOI

Space-reduction strategies for model checking dynamic software. (English) Zbl 1271.68097

Dawar, Anuj (ed.), SoftMC 2003. Workshop on software model checking (satellite workshop of CAV ’03), Ottawa, Canada, June 26–27, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 89, No. 3, 499-517 (2003).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: Link

Deduction as an engineering science. (English) Zbl 1261.68102

Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 1-8 (2003).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software