×

Found 19 Documents (Results 1–19)

Newest Citations Relevance
Fiedor, Tomáš; Holík, Lukáš; Hruška, Martin; Rogalewicz, Adam; Síč, Juraj; Vargovčík, Pavol

Reasoning about regular properties: a comparative study. (English) Zbl 07838493

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 286-306 (2023).
MSC:  03B35 68V15
Cite Review PDF
Full Text: DOI arXiv
Korovin, Konstantin; Kovács, Laura; Reger, Giles; Schoisswohl, Johannes; Voronkov, Andrei

ALASCA: reasoning in quantified linear arithmetic. (English) Zbl 1543.68406

Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 647-665 (2023).
MSC:  68V15 03B35
Cite Review PDF
Full Text: DOI
OA License
Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca

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

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:  68Q60 03B70 68V15
Cite Review PDF
Full Text: DOI
OA License
Echenim, Mnacho; Peltier, Nicolas; Sellami, Yanis

A generic framework for implicate generation modulo theories. (English) Zbl 1437.68190

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 279-294 (2018).
MSC:  68V15 03B35
Cite Review PDF
Full Text: DOI arXiv
Preiner, Mathias; Niemetz, Aina; Biere, Armin

Counterexample-guided model synthesis. (English) Zbl 1452.68122

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, 264-280 (2017).
MSC:  68Q60 03B70
Cite Review PDF
Full Text: DOI
Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim

A decision procedure for separation logic in SMT. (English) Zbl 1398.68486

Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 244-261 (2016).
MSC:  68T15 03B70
Cite Review PDF
Full Text: DOI arXiv HAL
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn

Two decades of Maude. (English) Zbl 1321.68007

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 232-254 (2015).
MSC:  68-03 01A65 03B70 68Q42
Cite Review PDF
Full Text: DOI
Barrett, Clark; Demri, Stéphane; Deters, Morgan

Witness runs for counter machines. (English) Zbl 1397.68122

Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 120-150 (2013).
MSC:  68Q60 03B44 03F30 68Q45 68Q85
Cite Review PDF
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Author

Serial

all top 5

Year of Publication

Main Field

all top 3

Software