Bogor: A Flexible Framework for Creating Software Model Checkers

  title={Bogor: A Flexible Framework for Creating Software Model Checkers},
  author={Robby and Matthew B. Dwyer and John Hatcliff},
  journal={Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)},
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 multi-core architectures and a greater emphasis on distributed computing, model checking is an increasingly important software quality assurance technique that can complement existing testing and inspection methods. We believe that recent trends in both the requirements for software systems and the processes by which systems are… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 22 extracted citations


Publications referenced by this paper.
Showing 1-10 of 44 references

JML: a Java modeling language

  • G. T. Leavens, A. L. Baker, C. Ruby
  • Formal Underpinnings of Java,
  • 1998
Highly Influential
6 Excerpts

Java PathFinder – a second generation of a Java model-checker

  • G. Brat, K. Havelund, S. Park, W. Visser
  • Proceedings of the Workshop on Advances in…
  • 2000
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…