Back to Search Start Over

Strengthening model checking techniques with inductive invariants

Authors :
Cabodi, Gianpiero
Nocco, Sergio
Quer, Stefano
Source :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Jan, 2009, Vol. 28 Issue 1, p154, 5 p.
Publication Year :
2009

Subjects

Subjects :
Standard IC
Integrated circuits -- Design and construction
Semiconductor chips -- Design and construction
Invariants -- Usage

Details

Language :
English
ISSN :
02780070
Volume :
28
Issue :
1
Database :
Gale General OneFile
Journal :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Publication Type :
Academic Journal
Accession number :
edsgcl.196288195

Tools

Authors Abstract Subjects Details