Assertion: saltshaker | /r/HasProperty | solver-aided tool
Facets:
Source sentences:
text: SaltShaker is a solver-aided tool that checks, for all possible machine states, that an x86 instruction executed by RockSalt’s Coq x86 semantics behaves according to its instruction specifications extracted from STOKE.