Software Open Access

Statically Verified Refinements for Multiparty Protocols

Fangyi Zhou; Francisco Ferreira; Raymond Hu; Rumyana Neykova; Nobuko Yoshida

Please look at the README on https://github.com/sessionstar/oopsla20-artifact/blob/master/README.md

Added licence and readme to the artifact, no substantial change from the previous version.
Files (1.1 GB)
Name Size
artifact.tar.gz
md5:8bbdbbba5994ab3cf8a91dd9854e6ab0
1.1 GB Download
75
8
views
downloads
All versions This version
Views 7535
Downloads 84
Data volume 8.8 GB4.4 GB
Unique views 6532
Unique downloads 74

Share

Cite as