Hwang: Symbolic Model Checking: 1020 states and beyond

@inproceedings{Burch1992HwangSM,
  title={Hwang: Symbolic Model Checking: 1020 states and beyond},
  author={Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill},
  year={1992}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 1,413 CITATIONS, ESTIMATED 22% COVERAGE

Abstract State Machines, Alloy, B, TLA, VDM, and Z

VIEW 13 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Unified Bounded Model Checking for MSVL

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Lossy compression applied to the worst case execution time problem

VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Application of symbolic and bounded model checking to the verification of logic control systems

  • 2005 IEEE Conference on Emerging Technologies and Factory Automation
  • 2005
VIEW 11 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

Automated Verification of Model-based Programs Under Uncertainty

VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Symbolic Verification and Analysis of Discrete Timed Systems

  • Formal Methods in System Design
  • 2003
VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Constraint-based deductive model checking

  • International Journal on Software Tools for Technology Transfer
  • 2001
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

LoLA wird Pfadfinder

  • AWPN
  • 1999
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1990
2019

CITATION STATISTICS

  • 183 Highly Influenced Citations

  • Averaged 30 Citations per year over the last 3 years

  • 2% Increase in citations per year in 2018 over 2017

Similar Papers

Loading similar papers…