Showing 1 - 2 of 2 results for the Author - sagar chaki , Publish Year - 2005 , Type - White Paper
In this paper, the authors present an automated overflow detection technique based on model checking and iterative refinement.
Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. ComFoRT addresses both of these challenges.