Evaluation of SMT solvers in abstraction-based software model checking-Reference-Cited by-同舟云学术

Evaluation of SMT solvers in abstraction-based software model checking

Published:2022-11-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th Latin-American Symposium on Dependable Computing
language:
Short-container-title:

Author:

Dobos-Kovács Mihály¹^ORCID,Vörös András¹^ORCID

Affiliation:

1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary

Funder

HORIZON EUROPE Marie Sklodowska-Curie Actions

Ministry for Culture and Innovation, Hungary

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3569902.3570187

Reference23 articles.

1. Zsófia Ádám , Levente Bajczi , Mihály Dobos-Kovács , Ákos Hajdu , and Vince Molnár . 2022. Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) . In Tools and Algorithms for the Construction and Analysis of Systems , Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing , Cham , 474–478. Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, and Vince Molnár. 2022. Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems, Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing, Cham, 474–478.

2. Haniel Barbosa , Clark Barrett , Martin Brain , Gereon Kremer , Hanna Lachnitt , Makai Mann , Abdalrhman Mohamed , Mudathir Mohamed , Aina Niemetz , Andres Nötzli , Alex Ozdemir , Mathias Preiner , Andrew Reynolds , Ying Sheng , Cesare Tinelli , and Yoni Zohar . 2022. cvc5: A Versatile and Industrial-Strength SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing , Cham , 415–442. Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, and Yoni Zohar. 2022. cvc5: A Versatile and Industrial-Strength SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing, Cham, 415–442.

3. Clark Barrett , Christopher L. Conway , Morgan Deters , Liana Hadarean , Dejan Jovanović , Tim King , Andrew Reynolds , and Cesare Tinelli . 2011. CVC4 . In Computer Aided Verification, Ganesh Gopalakrishnanand Shaz Qadeer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 171–177. Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. 2011. CVC4. In Computer Aided Verification, Ganesh Gopalakrishnanand Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 171–177.

4. Clark Barrett , Aaron Stump , Cesare Tinelli , 2010 . The smt-lib standard: Version 2.0 . In Proceedings of the 8th international workshop on satisfiability modulo theories ( Edinburgh, England), Vol. 13. 14. Clark Barrett, Aaron Stump, Cesare Tinelli, 2010. The smt-lib standard: Version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, England), Vol. 13. 14.

5. Satisfiability Modulo Theories