Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.
Iury Valente de BessaHussama Ibrahim IsmailLucas Carvalho CordeiroJoao Edgar Chaves FilhoPublished in: SBESC (2014)
Keyphrases
- fixed point
- bounded model checking
- model checking
- formal verification
- sufficient conditions
- temporal logic
- linear temporal logic
- floating point
- variational inequalities
- fixed point theorem
- dynamical systems
- multi agent systems
- belief propagation
- concurrent systems
- probability distribution
- constraint databases
- reinforcement learning
- computer vision