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
