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

Grad Student Who Shook Global Austerity Movement -- Daily Intelligencer

Or why using a spreadsheet for your stats isn't necessarily a great idea.

to spreadsheet statistics validation ... on 29 April 2013

Tags related to validation

- validation
 
1 arm
1 ers
1 formal-methods
1 security
1 spreadsheet
1 statistics
2 validation