bigrapher
bigrapher is a command-line tool to compute or simulate the transition system of a BRS and export it to the stochastic model checker for verification. It supports bigraphs with sharing, stochastic and probabilistic reaction rules, rule priorities, graphical output and predicate checking.
References
- M. Sevegnani and M. Calder Bigraphs with sharing, Theoretical Computer Science, Volume 577, pp 43-73, Elsevier, 2015
- M. Sevegnani and M. Calder BigraphER: rewriting and analysis engine for bigraphs, in proceedings of Computer Aided Verification (CAV 2016), Lecture Notes in Computer Science, Volume 9780 Part II, pp 494-501, Springer, Toronto, Canada, July 2016
- author
- Michele Sevegnani
- author
- Blair Archibald