Verifying systems rules using rule-directed symbolic execution.

Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang

Browse the full ASPLOS paper archive.