1 paper
Thomas Bourgeat, Ian Clester, Andres Erbsen +4
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely o…