Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang. Verifying systems rules using rule-directed symbolic execution. In Vivek Sarkar, Rastislav BodÃk, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 329-342, ACM, 2013. [doi]
Abstract is missing.