An automata-theoretic approach to branching-time model checking

By O. Kupferman, Moshe Y. Vardi, P. Wolper. JACM, 2000

699 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Organic Chemistry, Software

View Paper: https://www.semanticscholar.org/paper/3ee76e372d54a2b54a2306b1c6bffea720b753c5

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. César Sánchez
2. Bernd Finkbeiner
3. Markus Norman Rabe
4. Michael R. Clarkson
5. Kristopher K. Micinski
6. Masoud Koleini

In Software

1. César Sánchez
2. Bernd Finkbeiner
3. Markus Norman Rabe
4. Michael R. Clarkson

Citations in the corpus

• Temporal Logics for Hyperproperties (2013, background): “1 LTL, CTL, and CTL∗ HyperCTL∗ is an extension of CTL*, and therefore subsumes the usual temporal logics LTL, CTL, and CTL* [23, 41].”