TY  - RPRT
TI  - Formal verification of a controller implementation in fixed-point arithmetic
AU  - Lars Flessing
AU  - Grigory Devadze
AU  - Stefan Streif
PY  - 2021
UR  - https://arxiv.org/abs/2112.01204
ID  - 2112.01204
ER  -