Woodpecker: Verifying systems rules using rule-directed symbolic execution - View it on GitHub