Assertion: saltshaker | /r/CapableOf | check for possible machine states
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.