Media Summary: In this talk we discuss the use of logic for reachability analysis for Google Tech Talks November, 16 2007 This talk describes techniques that use
Fast Infinite State Model Checking - Detailed Analysis & Overview
In this talk we discuss the use of logic for reachability analysis for Google Tech Talks November, 16 2007 This talk describes techniques that use
