Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Comparing model checking and term rewriting for the verification of an embedded system
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Symbolic Model Checking
JPEG Still Image Data Compression Standard
JPEG Still Image Data Compression Standard
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
RRL: A Rewrite Rule Laboratory
Proceedings of the 9th International Conference on Automated Deduction
Specifying and verifying imprecise sequential datapaths by Arithmetic Transforms
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |