Formal Inspection Tool