BigraphTalk

Published December 3, 2019 | Version 1.1

Software Open

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

Files

Name	Size	Download all
bigraphtalk.tar.gz md5:329cbe22674285acca5e94324e7dfa71	13.3 kB	Download

114

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more