Galileo Technology have been using Formal Verification
methods to debug and clean its products since 1995. The Formal
Verification group includes today 9 engineers. The main tool we use
is IBM's RuleBase model-checker.
In this talk I will present Galileo's field
and products, the flow of a typical model-checking task and
review our way to achieve successful verification results, together with some
advanced and interesting non-usual uses of the formal tools.