Sciweavers

Share
ECLIPSE
2004
ACM

Supporting model checking education using BOGOR/Eclipse

10 years 6 months ago
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.
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ECLIPSE
Authors Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
Comments (0)
books