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

    bigmc/bigmc2’s past year of commit activity
    Scala 3 1 0 1 Updated Oct 12, 2020
  • bigmc Public

    The BigMC Bigraphical Analysis Tool

    bigmc/bigmc’s past year of commit activity
    Graphviz (DOT) 11 GPL-3.0 10 6 0 Updated Feb 4, 2014
  • bigmc-gui Public

    A simple GUI interface to the BigMC Bigraphical Model Checker

    bigmc/bigmc-gui’s past year of commit activity
    Java 2 3 0 0 Updated Aug 10, 2011

Top languages

Loading…

Most used topics

Loading…