Skip to content

@bigmc bigmc

Change the repository type filter

All

    Repositories list

    3 repositories

    • bigmc2

      Public
      Rewrite of BigMC in Scala
      Scala
      •1•3•0•1•Updated Oct 12, 2020Oct 12, 2020

    • bigmc

      Public
      The BigMC Bigraphical Analysis Tool
      Graphviz (DOT)
      •
      GNU General Public License v3.0
      •10•11•6•0•Updated Feb 4, 2014Feb 4, 2014

    • bigmc-gui

      Public
      A simple GUI interface to the BigMC Bigraphical Model Checker
      Java
      •3•2•0•0•Updated Aug 10, 2011Aug 10, 2011