There is a newer version of this record available.

Software Open Access

BigraphTalk

Archibald, Blair; Sevegnani, Michele

BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk

Files (62.8 kB)
Name Size
bigraphtalk.tar.gz
md5:40d426b21a9f4249c6316c1fdff452f7
62.8 kB Download
21
6
views
downloads
All versions This version
Views 2114
Downloads 64
Data volume 277.7 kB251.0 kB
Unique views 1512
Unique downloads 64

Share

Cite as