BUSpec: A framework for generation of verification aids for standard bus protocol specifications
Integration, the VLSI Journal
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Coverage in interpolation-based model checking
Proceedings of the 47th Design Automation Conference
Sanity checks in formal verification
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Hi-index | 0.00 |