Documents Introduction to Cindy Eisner Formal Methods Group IBM Haifa Research Laboratory February 2001...

Introduction to Cindy Eisner Formal Methods Group IBM Haifa Research Laboratory February 2001 Copyright 2001 IBM Haifa Research Laboratory Introduction to RuleBase Overview…