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
213 commits behind the upstream repository.
2020-09-3-concurtalk.md 657 B 
Title: Video talk on Decidable Inductive Invariants at CONCUR 2020.

The talk by Emanuele D’Osualdo and Felix Stutz on their paper "Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions", presented at CONCUR 2020, is now available online and can be seen on the link here or below.