Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti. The BUSpec platform for automated generation of verification aids for standard bus protocols. In 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings. pages 119-128, IEEE, 2004. [doi]
Abstract is missing.