Supporting model checking education using BOGOR/Eclipse

This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials that provide an in-depth theoretical background of model checking algorithms, coupled with a tool support to apply them that is built around the Eclipse platform. The educational materials presented here have been used to teach graduate-level model checking courses in a number of North American and European institutions.

• Type: Conference
• Year: 2004
• Where: ECLIPSE
• Authors: Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
• Keywords: ECLIPSE 2004, Model Checking, Model Checking Algorithms, Model Checking Courses