Bogor: an extensible and highly-modular software model checking framework

@inproceedings{Robby2003BogorAE,
  title={Bogor: an extensible and highly-modular software model checking framework},
  author={Robby and Matthew B. Dwyer and John Hatcliff},
  booktitle={ESEC / SIGSOFT FSE},
  year={2003}
}
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural descriptions, designs, implementations, and process models. The complexity of model checking is well-known, yet cost-effective analyses have been achieved by exploiting, for example, naturally occurring abstractions and semantic properties of a target software artifact. semantic properties of target software artifacts… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 140 CITATIONS

Towards Automated Software Verification and Validation

  • 2009 International Conference on Computer Technology and Development
  • 2009
VIEW 9 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

X10X: Model Checking a New Programming Language with an "Old" Model Checker

  • 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
  • 2012
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Efficient dynamic verification of concurrent programs

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Incremental state-space exploration for programs with dynamically allocated data

  • 2008 ACM/IEEE 30th International Conference on Software Engineering
  • 2008
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Comparative Assessment of Testing and Model Checking Using Program Mutation

  • Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
  • 2007
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

MMC: the Mono Model Checker

  • Electr. Notes Theor. Comput. Sci.
  • 2007
VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2018

CITATION STATISTICS

  • 24 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

NUSMV: a new symbolic model checker

  • International Journal on Software Tools for Technology Transfer
  • 2000
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

The Model Checker SPIN

  • IEEE Trans. Software Eng.
  • 1997
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL