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

  title={More efficient on-the-fly LTL verification with Tarjan's algorithm},
  author={Jaco Geldenhuys and Antti Valmari},
  journal={Theor. Comput. Sci.},
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


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
View 2 Excerpts

Similar Papers

Loading similar papers…