This link will take you to a page that’s not on LinkedIn

Because this is an external link, we’re unable to verify it for safety.

https://www.galois.com/articles/galois-releases-new-versions-of-verification-tools-saw-and-cryptol