A decision procedure for bit-vector arithmetic
DAC '98 Proceedings of the 35th annual Design Automation Conference
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
Formalization of fixed-point arithmetic in HOL
Formal Methods in System Design
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Isabelle Theories for Machine Words
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |