GitHub repository: GaloisInc/asl-translator
Primary language: ASL
Created: 2020-02-05T23:13:23Z
Description: Semantic interpretation the ARM Specification Language using symbolic execution