print · source · login   

Publications

  • M. Schoolderman, Verifying Branch-Free Assembly Code in Why3, VSTTE '17 (published version)
  • D. Frumin, R. Krebbers, L. Birkedal, ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency, LICS 2018, (website, article pdf)
  • D. Frumin, L. Gondelman, R. Krebbers, Semi-automated reasoning about non-determinism in C expressions, ESOP 2019, (website, article pdf)

Presentations

  • D. Frumin, Logical verification, first user committee meeting (slides)
  • M. Schoolderman, Program verification by computer-aided reasoning, first user committee meeting (slides)
  • L. Gondelman, Sovereign Project User Committee Meeting, 10/10/18 (slides)
  • L. Gondelman, D. Frumin, Updates for the Sovereign Users Committee Meeting, 17/04/19 (slides)

Software