Profile cover photo
Profile photo
Galois
162 followers -
Advancing computer science: developing software to solve your hardest problems.
Advancing computer science: developing software to solve your hardest problems.

162 followers
About
Posts

Post has attachment
Public
What is formal verification? A light introduction to mathematically verifying the correctness of software systems.
Add a comment...

Post has attachment

Post has attachment

Post has attachment
Add a comment...

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment
Wait while more posts are being loaded