Lars Flessing

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Automated Verification

Formal Verification

Top Venues

Publications

Grigory Devadze, Lars Flessing, Stefan Streif
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. ECC (2023)
Grigory Devadze, Lars Flessing, Stefan Streif
Extraction of a computer-certified ODE solver. ECC (2021)
Grigory Devadze, Lars Flessing, Stefan Streif
Extraction of a computer-certified ODE solver. CoRR (2021)
Lars Flessing, Grigory Devadze, Stefan Streif
Formal verification of a controller implementation in fixed-point arithmetic. CoRR (2021)