| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 308 | 2022 |
| Axiomatic hardware-software contracts for security N Mosier, H Lachnitt, H Nemati, C Trippel Proceedings of the 49th Annual International Symposium on Computer …, 2022 | 29 | 2022 |
| Certified quantum computation in Isabelle/HOL A Bordg, H Lachnitt, Y He Journal of Automated Reasoning 65 (5), 691-709, 2021 | 19 | 2021 |
| Flexible proof production in an industrial-strength SMT solver H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ... International Joint Conference on Automated Reasoning, 15-35, 2022 | 16 | 2022 |
| Isabelle marries dirac: A library for quantum computation and quantum information A Bordg, H Lachnitt, Y He Archive of Formal Proofs, 2020 | 6 | 2020 |
| Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format B Andreotti, H Lachnitt, H Barbosa International Conference on Tools and Algorithms for the Construction and …, 2023 | 5 | 2023 |
| CVC5 at the SMT Competition 2022 H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, A Mohamed, ... | 4 | 2022 |
| Generating and exploiting automated reasoning proof certificates H Barbosa, C Barrett, B Cook, B Dutertre, G Kremer, H Lachnitt, A Niemetz, ... Communications of the ACM 66 (10), 86-95, 2023 | 1 | 2023 |
| Relational Models of Microarchitectures for Formal Security Analyses N Mosier, H Lachnitt, H Nemati, C Trippel arXiv preprint arXiv:2112.10511, 2021 | 1 | 2021 |
| Formalizing graph trail properties in Isabelle/HOL L Kovács, H Lachnitt, S Szeider Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 1 | 2020 |
| Systematic verification of the intuitionistic modal logic cube in isabelle/hol H Lachnitt Bachelor Thesis at the Freie Universität Berlin, Institut für Informatik, 2017 | 1 | 2017 |
| IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL H Lachnitt, M Fleury, L Aniva, A Reynolds, H Barbosa, A Nötzli, C Barrett, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
| CVC5 at the SMT Competition 2023 L Aniva, H Barbosa, C Barrett, M Brain, V Camillo, G Kremer, H Lachnitt, ... | | |
| Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? HE Lachnitt, M Claus, C Benzmüller | | |
