Model Checking Large Software Specifications

@article{Chan1998ModelCL,
  title={Model Checking Large Software Specifications},
  author={William Chan and Richard J. Anderson and Paul Beame and Steve Burns and Francesmary Modugno and David Notkin and Jon Damon Reese},
  journal={IEEE Trans. Software Eng.},
  year={1998},
  volume={24},
  pages={498-520}
}

Topics from this paper.

Citations

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

Model checking aircraft controller software: a case study

Zhe Chen, Yi Gu, +3 authors Ziyi Liu
  • Softw., Pract. Exper.
  • 2015
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Integrated Formal Methods

  • Lecture Notes in Computer Science
  • 2014
VIEW 10 EXCERPTS
HIGHLY INFLUENCED

Incremental Validation of Formal Specifications

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Finding Environment Guarantees

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Model checking RSML/sup -e/ requirements

  • 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.
  • 2002
VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Optimizing Symbolic Model Checking for Statecharts

  • IEEE Trans. Software Eng.
  • 2001
VIEW 5 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS

A specification-based coverage metric to evaluate test sets

  • Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering
  • 1999
VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Composite model-checking: verification with type-specific symbolic representations

  • ACM Trans. Softw. Eng. Methodol.
  • 1999
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1997
2019

CITATION STATISTICS

  • 21 Highly Influenced Citations