Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan. em-SPADE: a compiler extension for checking rules extracted from processor specifications. In Youtao Zhang, Prasad Kulkarni, editors, SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014. pages 105-114, ACM, 2014. [doi]
Abstract is missing.