External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds 0001, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli. IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. In Bernd Finkbeiner, Laura Kovács, editors, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Volume 14570 of Lecture Notes in Computer Science, pages 311-330, Springer, 2024. [doi]

Authors

Hanna Lachnitt

This author has not been identified. Look up 'Hanna Lachnitt' in Google

Mathias Fleury

This author has not been identified. Look up 'Mathias Fleury' in Google

Leni Aniva

This author has not been identified. Look up 'Leni Aniva' in Google

Andrew Reynolds 0001

This author has not been identified. Look up 'Andrew Reynolds 0001' in Google

Haniel Barbosa

This author has not been identified. Look up 'Haniel Barbosa' in Google

Andres Nötzli

This author has not been identified. Look up 'Andres Nötzli' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Cesare Tinelli

This author has not been identified. Look up 'Cesare Tinelli' in Google
runs on