Welcome to the website for the Verified Software Research Group.



Blog


Liftoff!

This is the first blog post from the VeriS Research Group—many more to come. Stay tuned!
Tags: veris