Comment by crashocaster

I would have been interested to hear more about the verification techniques and tools they used for this project.