Concepedia

Model-based Verification

Model-Based Verification is a verification methodology that belongs to the class of formal analysis techniques, distinguished by its reliance on an abstract mathematical model of a system to systematically check whether the system's behavior conforms to specified properties.

849

Publications

37.9K

Citations

2K

Authors

687

Institutions

Publications per year

2017–2026

116

Variants

Model-based Formal Verification

Parents

Publications

849

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.4K citations

, , +13

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

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.2K citations

, , +11

A large-scale car dataset for fine-grained categorization and verification

Linjie Yang, Ping Luo, Chen Change Loy et al. · 2015 · 844 citations

, , +17

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 775 citations

, , +11

1–5 of 849

Authors

2K

  1. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    11 publications · 521 citations

    11

    h-index

  2. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    9 publications · 551 citations

    9

    h-index

  3. AL
    Axel Legay

    Institut national de recherche en sciences et technologies du numérique, France

    8 publications · 206 citations

    8

    h-index

  4. ML
    Michaël Leuschel

    Heinrich Heine University Düsseldorf, Germany

    8 publications · 210 citations

    8

    h-index

  5. FR
    Franco Raimondi

    Middlesex University, United Kingdom

    7 publications · 337 citations

    7

    h-index

1–5 of 2K

Institutions

687

  1. Carnegie Mellon University

    Pittsburgh, United States

    20 h-index

    55 publications

    4.7K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    16 h-index

    40 publications

    1.3K citations

  3. Ames Research Center

    Mountain View, United States

    13 h-index

    29 publications

    8.8K citations

  4. University of Oxford

    Oxford, United Kingdom

    13 h-index

    30 publications

    1.4K citations

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    23 publications

    805 citations

  6. Eindhoven University of Technology

    Eindhoven, The Netherlands

    11 h-index

    28 publications

    2.2K citations

  7. Technion – Israel Institute of Technology

    Haifa, Israel

    10 h-index

    13 publications

    1.9K citations

  8. Intel (United States)

    Santa Clara, United States

    10 h-index

    20 publications

    1.6K citations

1–8 of 687

Venues

  1. 22

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 25 publications · 777 citations

    16

    h-index

  3. Science of Computer Programming

    13 publications · 601 citations

    13

    h-index

  4. Formal Aspects of Computing

    12 publications · 502 citations

    12

    h-index

  5. Formal Methods in System Design

    13 publications · 837 citations

    11

    h-index

1–5