Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.

Behzad Akbarpour Abdelkader Dekdouk Sofiène Tahar

Published in: IFM (2002)

Keyphrases

fixed point
floating point
theorem prover
formal methods
sufficient conditions
knowledge representation
belief propagation
constraint databases
fixed point theorem
object recognition
dynamical systems
variational inequalities
bargaining solution
database
policy iteration
free energy