Proving and disproving assertion rewrite rules with automated theorem provers.

Details

Language :

English

ISBNs :

9781424429226

Database :

Complementary Index

Journal :

2008 IEEE International High Level Design Validation & Test Workshop

Publication Type :

Conference

Accession number :

81019617

Full Text :

https://doi.org/10.1109/HLDVT.2008.4695875