JOURNAL ARTICLE

Incremental Formal Design Verification

G.M. SwamyR.K. Brayton

Year: 2005 Journal:   IEEE/ACM International Conference on Computer-Aided Design Vol: ? Pages: 458-465
Keywords:
Computer science Formal verification Formal methods Programming language Software engineering

Metrics

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
8
Refs
0.43
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Manufacturing Process and Optimization
Physical Sciences →  Engineering →  Industrial and Manufacturing Engineering
Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software

Related Documents

JOURNAL ARTICLE

Incremental formal design verification

Gitanjali SwamyRobert K. Brayton

Journal:   International Conference on Computer Aided Design Year: 1994 Pages: 458-465
JOURNAL ARTICLE

Incremental Formal Design Verification

Gitanjali SwamyRobert K. Brayton

Journal:   SSRN Electronic Journal Year: 1994
JOURNAL ARTICLE

Incremental formal verification of hardware

Hana ChocklerAlexander IvriiArie MatsliahShiri MoranZiv Nevo

Journal:   Formal Methods in Computer-Aided Design Year: 2011 Pages: 135-143
BOOK-CHAPTER

Formal Design Verification

Chris Hobbs

Year: 2019 Pages: 223-247
© 2026 ScienceGate Book Chapters — All rights reserved.