Research group
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
Most of our work is open-source because we wholeheartedly believe in open research.
Check these out: https://github.com/vorpal-research