Formal verification of a controller implementation in fixed-point arithmetic.
Lars FlessingGrigory DevadzeStefan StreifPublished in: CoRR (2021)
Keyphrases
- fixed point
- formal verification
- floating point
- model checking
- initial conditions
- bounded model checking
- sufficient conditions
- automated verification
- control strategy
- dynamical systems
- belief propagation
- high quality
- constraint databases
- variational inequalities
- bargaining solution
- model checker
- policy iteration
- least squares