Extraction of a computer-certified ODE solver. - Grigory Devadze; Lars Flessing; Stefan Streif (ECC, 2021)

Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. - Grigory Devadze; Lars Flessing; Stefan Streif (ECC, 2023)