Verification or Program Analysis Lab

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

Check these out: https://github.com/vorpal-research