Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
217 commits behind the upstream repository.
2020-06-19-plditalk.md 682 B 
title:  Video talk on Gillian at PLDI  2020.

The talk by Petar Maksimovic on Gillian: a Multi-language Platform for Program Correctness and Incorrectness, presented at PLDI 2020, is now available on the PLDI YouTube channel, and can be seen on the link here or below.