print · source · login   


  • M. Schoolderman, Verifying Branch-Free Assembly Code in Why3, to appear in the proceedings of VSTTE '17 (preprint version)


  • D. Frumin, Logical verification, first user committee meeting (slides)
  • M. Schoolderman, Program verification by computer-aided reasoning, first user committee meeting (slides)


  • Tools produced by the Sovereign project will be licensed under the NCSA license, and be made available on our Gitlab project page.