Software Open Access

Statically Verified Refinements for Multiparty Protocols

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

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
133
14
views
downloads
All versions This version
Views 13373
Downloads 146
Data volume 15.3 GB6.6 GB
Unique views 11869
Unique downloads 136

Share

Cite as