Assertion: checkmate | /r/HasProperty | automated tool
Facets:
Source sentences:
text: CheckMate is an approach and automated tool for determining if a microarchitecture is susceptible to formally specified classes of security exploits, and for synthesizing proof-of-concept exploit code when it is.