A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
A Behavior Model for Next Generation Test Systems
Journal of Electronic Testing: Theory and Applications
Inhibiting factors, market structure and the industrial uptake of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
The Test Requirements Model (TeRM) Communicating Test Information Throughout the Product Life Cycle
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |