Concepedia

Temporal Logic Verification

Temporal Logic Verification is a formal method for verifying system properties over time by specifying and checking temporal constraints using temporal logic as the underlying expressive framework.

633

Publications

41.8K

Citations

1.2K

Authors

458

Institutions

Publications per year

2017–2026

109

Parents

Publications

633

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

, , +16

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

, , +15

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

, , +14

Robustness of temporal logic specifications for continuous-time signals

Georgios Fainekos, George J. Pappas · Theoretical Computer Science · 2009 · 600 citations

, , +12

1–5 of 633

Authors

1.2K

  1. GF
    Georgios Fainekos

    Arizona State University, United States

    20 publications · 1.5K citations

    17

    h-index

  2. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    17 publications · 637 citations

    14

    h-index

  3. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    14 publications · 635 citations

    13

    h-index

  4. CB
    Călin Belta

    Boston University, United States

    11 publications · 341 citations

    11

    h-index

  5. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    11 publications · 6.7K citations

    11

    h-index

1–5 of 1.2K

Institutions

458

  1. University of Liverpool

    Liverpool, United Kingdom

    17 h-index

    48 publications

    2.2K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    17 h-index

    49 publications

    9.3K citations

  3. Arizona State University

    Tempe, United States

    15 h-index

    48 publications

    1.9K citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    32 publications

    2.3K citations

  5. Imperial College London

    London, United Kingdom

    14 h-index

    29 publications

    731 citations

  6. University of Oxford

    Oxford, United Kingdom

    13 h-index

    31 publications

    1K citations

  7. The University of Texas at Austin

    Austin, United States

    12 h-index

    22 publications

    4.5K citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    12 h-index

    23 publications

    901 citations

1–8 of 458

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 23 publications · 1K citations

    17

    h-index

  2. Theoretical Computer Science

    16 publications · 1.1K citations

    14

    h-index

  3. Formal Aspects of Computing

    8 publications · 341 citations

    8

    h-index

  4. EPiC series in computing

    8 publications · 237 citations

    8

    h-index

  5. Logical Methods in Computer Science

    LMCS · 7 publications · 208 citations

    7

    h-index

1–5