Software Open Access

BigraphTalk

Archibald, Blair; Sevegnani, Michele

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

Files (13.3 kB)
Name Size
bigraphtalk.tar.gz
md5:329cbe22674285acca5e94324e7dfa71
13.3 kB Download
19
6
views
downloads
All versions This version
Views 196
Downloads 62
Data volume 277.7 kB26.7 kB
Unique views 134
Unique downloads 62

Share

Cite as