An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Symbolic execution in algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Coverage criteria for state based specifications
Formal methods and testing
Functional test generation of digital LSI/VLSI systems using machine symbolic execution technique
ITC'84 Proceedings of the 1984 international test conference on The three faces of test: design, characterization, production
Information and Software Technology
| Hi-index | 4.10 |
The advanced method of symbolic evaluation can be applied to program testing situations with results close to those of formal correctness proofs-but without the high cost.