More efficient on-the-fly LTL verification with Tarjan's algorithm

@article{Geldenhuys2005MoreEO,
  title={More efficient on-the-fly LTL verification with Tarjan's algorithm},
  author={Jaco Geldenhuys and Antti Valmari},
  journal={Theor. Comput. Sci.},
  year={2005},
  volume={345},
  pages={60-82}
}
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 26 extracted citations

Model checking with fairness assumptions using PAT

Frontiers of Computer Science • 2013
View 15 Excerpts
Highly Influenced

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Handbook of Parallel Constraint Reasoning • 2018
View 1 Excerpt

Dynamic maintenance of an accepting run

Florent Peres Masaryk, Ivana Černá Masaryk
2013
View 2 Excerpts

Similar Papers

Loading similar papers…