Simple Cryptol specifications – Exploring formal verification (part 2)

2 points| ttaubert | 9 years ago |timtaubert.de