Enhanced vacuity detection in linear temporal logic

@article{Armoni2003EnhancedVD,
  title={Enhanced vacuity detection in linear temporal logic},
  author={R. Armoni and Limor Fix and Alon Flaisher and Orna Grumberg and Nir Piterman and Andreas Tiemeyer and Moshe Y. Vardi},
  journal={Lecture Notes in Computer Science},
  year={2003},
  pages={368-380}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 58 CITATIONS, ESTIMATED 35% COVERAGE

Robust Vacuity for Branching Temporal Logic

  • ACM Trans. Comput. Log.
  • 2012
VIEW 32 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

A Framework for Ranking Vacuity Results

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Vacuity analysis for property qualification by mutation of checkers

  • 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
  • 2010
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Framework for Inherent Vacuity

  • Haifa Verification Conference
  • 2008
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Vacuity Analysis by Fault Simulation

  • 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
  • 2008
VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Practical Introduction to PSL

  • Series on Integrated Circuits and Systems
  • 2006
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Extending Extended Vacuity

VIEW 10 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

How Vacuous Is Vacuous?

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2018

CITATION STATISTICS

  • 17 Highly Influenced Citations

  • Averaged 2 Citations per year over the last 3 years

Similar Papers

Loading similar papers…