print · source · login   

Publications

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

Presentations

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

Software

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