Research
Groups
Researchers
Publications
Research group

Verification or Program Analysis Lab

AboutProjectsPublications

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

Projects

Stepanov Daniil

Backend Bug Finder (BBF)

Akhin Marat, Belyaev Mikhail

Better Kotlin

Akhin Marat, Belyaev Mikhail

Borealis (BMC)

Itsykson Vladimir

HoarFrost

Abdullin Azat

KEX

Belyaev Mikhail, Akhin Marat

Kotoed

Privacy & Security | Terms of Use | Trademarks | Legal | Genuine tools
Copyright © 2000-2020 JetBrains s.r.o.Developed with drive and IntelliJ IDEA