×

Found 20 Documents (Results 1–20)

A first-order logic characterisation of safety and co-safety languages. (English) Zbl 07793032

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 244-263 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Verification of SMT systems with quantifiers. (English) Zbl 1522.68303

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 154-170 (2022).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test. (English) Zbl 1522.68716

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 137-153 (2022).
MSC:  68V15 55M25 90C30
PDFBibTeX XMLCite
Full Text: DOI

Automatic discovery of fair paths in infinite-state transition systems. (English) Zbl 1497.68290

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 32-47 (2021).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Implicit semi-algebraic abstraction for polynomial dynamical systems. (English) Zbl 1493.68217

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 529-551 (2021).
MSC:  68Q60 03B70 34A34
PDFBibTeX XMLCite
Full Text: DOI

Universal invariant checking of parametric systems with quantifier-free SMT reasoning. (English) Zbl 07437076

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 131-147 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Proving the existence of fair paths in infinite-state systems. (English) Zbl 1472.68085

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 104-126 (2021).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Safe decomposition of startup requirements: verification and synthesis. (English) Zbl 1507.68180

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 155-172 (2020).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Invariant checking of NRA transition systems via incremental reduction to LRA with EUF. (English) Zbl 1452.68116

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, 58-75 (2017).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Boosting lazy abstraction for SystemC with partial order reduction. (English) Zbl 1316.68072

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, 341-356 (2011).
MSC:  68Q60 68-04
PDFBibTeX XMLCite
Full Text: DOI

Verifying heap-manipulating programs in an SMT framework. (English) Zbl 1141.68484

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 237-252 (2007).
MSC:  68Q60 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software