Semantic interpretation the ARM Specification Language using symbolic execution - View it on GitHub