Abstract Interpretation of Reactive Systems

@article{Dams1997AbstractIO,
  title={Abstract Interpretation of Reactive Systems},
  author={Dennis Dams and Rob Gerth and Orna Grumberg},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1997},
  volume={19},
  pages={253-291}
}
Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated veri cation techniques. Model checking is one such technique, which has proven quite successful. However, the state-explosion problem remains a major stumbling block. Recent experience indicates that solutions are to be found in the application of… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 300 CITATIONS, ESTIMATED 26% COVERAGE

A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

  • ACM Trans. Comput. Log.
  • 2007
VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Modal abstractions of concurrent behavior

VIEW 14 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

On the consistency, expressiveness, and precision of partial modeling formalisms

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

2-Valued and 3-Valued Abstraction-Refinement in Model Checking

  • Logics and Languages for Reliability and Security
  • 2010
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Visualization of state transition graphs

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A calculus of logical relations for over- and underapproximating static analyses

  • Sci. Comput. Program.
  • 2007
VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Systematic Construction of Abstractions for Model-Checking

VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Visual Analysis of Multivariate State Transition Graphs

  • IEEE Transactions on Visualization and Computer Graphics
  • 2006
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1995
2017

CITATION STATISTICS

  • 38 Highly Influenced Citations

  • Averaged 2 Citations per year over the last 3 years

References

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

V eri cation symbolique de syst emes r eactifs a l'aide d'abstractions

C. Loiseaux
  • Ph.D.
  • 1994
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…