Verification or Program Analysis Lab

Most of our work is open-source, because we wholeheartedly believe in open research.

Check them out:

• https://bitbucket.org/vorpal-research
• https://github.com/vorpal-research