Miroslav N. Velev, Ping Gao 0002. Formal verification of safety of polymorphic heterogeneous multi-core architectures. In Fifteenth International Symposium on Quality Electronic Design, ISQED 2014, Santa Clara, CA, USA, March 3-5, 2014. pages 611-617, IEEE, 2014. [doi]
Abstract is missing.