×

Found 94 Documents (Results 1–94)

100
MathJax

Interpolation and model checking for nonlinear arithmetic. (English) Zbl 07498184

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 266-288 (2021).
MSC:  68Q60 03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Chain-free string constraints. (English) Zbl 1437.68131

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, 277-293 (2019).
MSC:  68R07 68N30
PDF BibTeX XML Cite
Full Text: DOI

Function summarization modulo theories. (English) Zbl 1415.68141

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 56-75 (2018).
MSC:  68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI

SMTCoq: a plug-in for integrating SMT solvers into Coq. (English) Zbl 07571373

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 126-133 (2017).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI HAL

Reluplex: an efficient SMT solver for verifying deep neural networks. (English) Zbl 07551559

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 97-117 (2017).
MSC:  68Q60 68T07
PDF BibTeX XML Cite
Full Text: DOI arXiv

SMC: satisfiability modulo convex optimization. (English) Zbl 1366.68102

Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 19-28 (2017).
MSC:  68Q25 68T20 90C25
PDF BibTeX XML Cite
Full Text: DOI

Building power consumption models from executable timed I/O automata specifications. (English) Zbl 1366.68196

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI

SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). (English) Zbl 1344.68198

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016).
MSC:  68T15 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Practical SMT-based type error localization. (English) Zbl 1360.68351

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 412-423 (2015).
MSC:  68N20 68N18 68T20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Data-parallel string-manipulating programs. (English) Zbl 1345.68035

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 139-152 (2015).
MSC:  68N15 68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Synthesizing and tuning chemical reaction networks with specified behaviours. (English) Zbl 1403.92356

Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the scalability of constraint solving for static/off-line real-time scheduling. (English) Zbl 1465.68031

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 108-123 (2015).
MSC:  68M20 68T20 90B35
PDF BibTeX XML Cite
Full Text: DOI Link

Computing all implied equalities via SMT-based partition refinement. (English) Zbl 1423.68408

Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 168-183 (2014).
MSC:  68T15 03B35 68T20
PDF BibTeX XML Cite
Full Text: DOI

Symbolic optimization with SMT solvers. (English) Zbl 1284.68410

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 607-618 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

Self-composition by symbolic execution. (English) Zbl 1281.68082

Jones, Andrew V. (ed.) et al., 2013 Imperial College computing student workshop ICCSW’13, London, UK, September 26–27, 2013. Selected papers of the 3rd workshop. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-63-7). OASIcs – OpenAccess Series in Informatics 35, 95-102, electronic only (2013).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI

Semantic subtyping with an SMT solver. (English) Zbl 1323.68096

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 105-116 (2010).
MSC:  68N18 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Light-weight SMT-based model checking. (English) Zbl 1335.68138

Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 85-102 (2009).
MSC:  68Q60 68Q85 68T15 68W15
PDF BibTeX XML Cite
Full Text: DOI

An abstract decision procedure for satisfiability in the theory of recursive data types. (English) Zbl 1277.68132

Cook, B. (ed.) et al., Combined proceedings of the fourth workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2006) and the first international workshop on probabilistic automata and logics (PaUL 2006), Seattle, WA, USA, August 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 8, 23-37 (2007).
MSC:  68Q60 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

Classification

all top 3

Software