A Formal Approach for Translating a SAM Architecture to PROMELA.

Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi

Browse the full SEKE paper archive.