« 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 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
« earlier | later » Page 1 of 1
| - validation | |
| 1 | arm |
| 1 | ers |
| 1 | formal-methods |
| 1 | security |
| 1 | spreadsheet |
| 1 | statistics |
| 2 | validation |
tasty by Adam Sampson.