Concepedia

Assertion-based Verification

Assertion-Based Verification is a hardware verification methodology that employs formal assertions—embedded within a Hardware Description Language—to specify intended behaviors and automatically detect deviations, thereby enabling dynamic or static validation of functional correctness.

774

Publications

34.1K

Citations

1.7K

Authors

556

Institutions

Publications per year

2017–2026

100

Variants

Abv

Parents

Children

Publications

774

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

, , +11

Proving the Correctness of Multiprocess Programs

Leslie Lamport · IEEE Transactions on Software Engineering · 1977 · 1.1K citations

, , +17

EvoSuite

Gordon Fraser, Andrea Arcuri · 2011 · 1K citations

, , +12

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations

, , +14

Verification and validation in computational engineering and science: basic concepts

Ivo Babuška, J. Tinsley Oden · Computer Methods in Applied Mechanics and Engineering · 2004 · 364 citations

, , +14

1–5 of 774

Authors

1.7K

  1. GP
    Graziano Pravadelli

    University of Verona, Italy

    14 publications · 352 citations

    12

    h-index

  2. SV
    Shobha Vasudevan

    University of Illinois Urbana-Champaign, United States

    11 publications · 471 citations

    11

    h-index

  3. ŽŽ
    Željko Žilić

    McGill University, Canada

    8 publications · 330 citations

    8

    h-index

  4. RL
    Ralph L. London

    The University of Texas at Austin, United States

    8 publications · 339 citations

    8

    h-index

  5. PD
    Pallab Dasgupta

    Indian Institute of Technology Kharagpur, India

    7 publications · 169 citations

    7

    h-index

1–5 of 1.7K

Institutions

556

  1. The University of Texas at Austin

    Austin, United States

    19 h-index

    37 publications

    2.5K citations

  2. Microsoft (United States)

    Redmond, United States

    17 h-index

    25 publications

    1.6K citations

  3. Stanford University

    Stanford, United States

    16 h-index

    30 publications

    1.8K citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    16 h-index

    59 publications

    3.6K citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    55 publications

    1.7K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    14 h-index

    30 publications

    1.4K citations

  7. Intel (United States)

    Santa Clara, United States

    14 h-index

    32 publications

    932 citations

  8. University of California, Berkeley

    Berkeley, United States

    13 h-index

    32 publications

    1.1K citations

1–8 of 556

Venues

  1. ACM SIGPLAN Notices

    21 publications · 844 citations

    15

    h-index

  2. Science of Computer Programming

    14 publications · 643 citations

    13

    h-index

  3. 12

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 15 publications · 1.7K citations

    12

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 635 citations

    11

    h-index

1–5