Showing 1 - 2 of 2 results for the Author - james ivers inmeta:GSAAuthorOutput~sagar chaki , Publish Year - 2005
Presented: August 2005
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.