Formal validation of the Arm v8-M specification – Alastair Reid – Researcher at ARM Ltd edit / delete

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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to ers

- ers
 
1 + arm
1 + formal-methods
1 + security
1 + validation