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•4•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.