Cited By
View all- Abbasi RSchiffl JDarulova EUlbrich MAhrendt W(2023)Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeYInternational Journal on Software Tools for Technology Transfer10.1007/s10009-022-00691-x25:2(185-204)Online publication date: 8-Mar-2023
- Jakobs M(2021)PEQCHECK: Localized and Context-aware Checking of Functional Equivalence2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1109/FormaliSE52586.2021.00019(130-140)Online publication date: May-2021
- Jang JVerbeek FRavindran B(2021)Verification of Functional Correctness of Code Diversification TechniquesNASA Formal Methods10.1007/978-3-030-76384-8_11(160-179)Online publication date: 19-May-2021
- Show More Cited By