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
26
8
views
downloads
All versions This version
Views 2611
Downloads 84
Data volume 304.4 kB53.3 kB
Unique views 209
Unique downloads 84

Share

Cite as