gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/spin

Tool for formal verification of distributed software systems

Screenshots

  • spin-6.4.5
    ~amd64 ~x86
    graphviz tk

    View      Download      Browse     License: BSD   
    Overlay: gentoo (distro)