Cited By
View all- Martin-Dorel ÉMelquiond GRoux P(2023)Enabling Floating-Point Arithmetic in the Coq Proof AssistantJournal of Automated Reasoning10.1007/s10817-023-09679-x67:4Online publication date: 16-Sep-2023
- Khalife EGaroche PFarhood M(2023)Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying SystemsNASA Formal Methods10.1007/978-3-031-33170-1_10(157-173)Online publication date: 3-Jun-2023
- Bentkamp AMir RAvigad J(2023)Verified reductions for optimizationTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-30820-8_8(74-92)Online publication date: 20-Apr-2023
- Show More Cited By