Skip to content

Disel: POPL 2018 version
Compare
Choose a tag to compare
@ilyasergey ilyasergey released this 09 Oct 10:58
· 19 commits to popl18 since this release
v1.5
00a71b1

Disel v1.5

The artifact, as accepted to appear POPL 2018, with the accompanying paper Programming and Proving with Distributed Protocols by Ilya Sergey, James R. Wilcox, and Zachary Tatlock.

Features

  • Higher-order dependent type theory for verifying distributed systems;
  • Elaboration of protocol invariants;
  • Horizontal composition of protocols in specifications;

Changes since v.1.0

  • Added support for send-hooks to compose protocols with dependencies;
Assets 2
Loading