SAT-based counterexample-guided abstraction refinement

Subjects

Subjects :

Algorithm
Abstraction -- Analysis
Very-large-scale integration -- Analysis
Algorithms -- Analysis

Details

Language :

English

ISSN :

02780070

Volume :

23

Issue :

7

Database :

Gale General OneFile

Journal :

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Publication Type :

Academic Journal

Accession number :

edsgcl.122353496