SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers.
Iury BessaRenato B. AbreuJoao Edgar Chaves FilhoLucas C. CordeiroPublished in: CoRR (2014)
Keyphrases
- fixed point
- bounded model checking
- model checking
- formal verification
- sufficient conditions
- linear temporal logic
- dynamical systems
- temporal logic
- belief propagation
- floating point
- reinforcement learning
- fixed point theorem
- constraint databases
- higher order
- learning algorithm
- policy iteration
- multi agent systems
- bayesian networks
- similarity measure