« earlier | later »
Page 1 of 1
Formal validation of the Arm v8-M specification – Alastair Reid – Researcher at ARM Ltd
Alastair gave a presentation about this at a workshop I attended; very interesting stuff (and his blog generally is well worth reading).
to arm ers formal-methods security validation ...
on 05 May
by Adam Sampson.