Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani. Formal specification and verification of a dataflow processor array. In Jacob K. White, Ellen Sentovich, editors, Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999. pages 494-499, IEEE, 1999. [doi]
Abstract is missing.