The BUSpec platform for automated generation of verification aids for standard bus protocols.

Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti

Browse the full MEMOCODE paper archive.