Sciweavers

Share
19 search results - page 1 / 4
» Supporting model checking education using BOGOR Eclipse
Sort
View
CAV
2005
Springer
173views Hardware» more  CAV 2005»
10 years 8 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
ECLIPSE
2004
ACM
10 years 8 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 tha...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
10 years 8 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ECLIPSE
2007
ACM
10 years 6 months ago
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
Nicolás D'Ippolito, Dario Fischbein, Howard...
SIGSOFT
2005
ACM
11 years 3 months ago
KenyaEclipse: learning to program in eclipse
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
Robert Chatley, Thomas Timbul
books