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

Grad Student Who Shook Global Austerity Movement -- Daily Intelligencer edit / delete

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

to spreadsheet statistics validation ... on 29 April 2013

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

Tags related to validation

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