Skip to content
@bigmc

bigmc

Popular repositories Loading

  1. bigmc bigmc Public

    The BigMC Bigraphical Analysis Tool

    Graphviz (DOT) 11 10

  2. bigmc2 bigmc2 Public

    Rewrite of BigMC in Scala

    Scala 3 1

  3. bigmc-gui bigmc-gui Public

    A simple GUI interface to the BigMC Bigraphical Model Checker

    Java 2 3

Repositories

Showing 3 of 3 repositories
  • bigmc2 Public

    Rewrite of BigMC in Scala

    Scala 3 1 0 1 Updated Oct 12, 2020
  • bigmc Public

    The BigMC Bigraphical Analysis Tool

    Graphviz (DOT) 11 GPL-3.0 10 4 0 Updated Feb 4, 2014
  • bigmc-gui Public

    A simple GUI interface to the BigMC Bigraphical Model Checker

    Java 2 3 0 0 Updated Aug 10, 2011