Skip to content

@bigraphs bigraphs

Change the repository type filter

All

    Repositories list

    3 repositories

    • VerificationTool-GUI

      Public
      A GUI for the verification tool
      Java
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated May 17, 2023May 17, 2023

    • VerificationTool

      Public
      A Java library for verification of security properties.
      Java
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Apr 19, 2023Apr 19, 2023

    • jlibbig

      Public
      A Java library for bigraphical reactive systems.
      Java
      •
      GNU Lesser General Public License v2.1
      •4•11•0•0•Updated Jan 31, 2023Jan 31, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.