Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow.

Details

Language :

English

ISBNs :

9781424436828

Database :

Complementary Index

Journal :

2008 Ninth International Workshop on Microprocessor Test & Verification

Publication Type :

Conference

Accession number :

81054557

Full Text :

https://doi.org/10.1109/MTV.2008.17