This is your work, valued

UK

Roderick Chapman

Advanced
@rod-chapman

Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.

SPARKNaCl. SPARK 2014 re-implementation of the TweetNaCl crypto library

136

cbmc-examples. Examples of code verification using CBMC

8

prang. Wichmann-Hill Pseudo-Random Number generator

3