IBM Logo
IBM Research Lab in Haifa
 
Location  
Agenda  
 
 
Hot Shots  
 
FV Research in HRL  

Download the presentation

Gal Vardi

Galileo Technology

Abstract

Formal Verification in Galileo

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.