Trace logic for inductive loop reasoning P Georgiou, B Gleiss, L Kovács # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 255-263, 2020 | 22 | 2020 |
Verifying relational properties using trace logic G Barthe, R Eilers, P Georgiou, B Gleiss, L Kovács, M Maffei 2019 Formal Methods in Computer Aided Design (FMCAD), 170-178, 2019 | 20 | 2019 |
Verifying relational properties using trace logic. In 2019 Formal Methods in Computer Aided Design (FMCAD) G Barthe, R Eilers, P Georgiou, B Gleiss, L Kovács, M Maffei IEEE, 2019 | 5 | 2019 |
The Rapid Software Verification Framework. P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger FMCAD, 255-260, 2022 | 2 | 2022 |
Lemmaless induction in trace logic A Bhayat, P Georgiou, C Eisenhofer, L Kovács, G Reger International Conference on Intelligent Computer Mathematics, 191-208, 2022 | 1 | 2022 |
Saturating Sorting without Sorts P Georgiou, M Hajdu, L Kovács arXiv preprint arXiv:2403.03712, 2024 | | 2024 |
Sorting Without Sorts P Georgiou, M Hajdu, L Kovacs EasyChair, 2023 | | 2023 |
Trace Reasoning for Formal Verification using the First-Order Superposition Calculus P Georgiou, B Gleiss, L Kovacs, M Maffei | | 2019 |
Trace Reasoning for formal verification: guiding vampire in induction P Georgiou Wien, 2019 | | 2019 |