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 2018

Tags related to ers

- ers
 
1 arm
2 ers
1 formal-methods
1 memory-safety
2 security
1 validation