Popular repositories Loading

1. Gomela Gomela Public

   Tool developped for "Bounded verification of message passing concurrency in Go programs."

   Promela 39 7

2. dwarf-interpreter dwarf-interpreter Public

   The compiler for the dwarf's language

   Elixir 25 1

3. gocurrency_tool gocurrency_tool Public

   Gocurrency is a tool that analyses the uses of message-passing concurrency of Go projects.

   HTML 8 2

4. J-Socket J-Socket Public

   A library for java TCP socket inspired by socket.io

   Java 3

5. gomela-ase21 gomela-ase21 Public

   The tool-chain implemented as part of paper "Automated Verification of Go Programs via Bounded Model Checking"

   Promela 2

6. container-diff container-diff Public

   Forked from GoogleContainerTools/container-diff

   container-diff: Diff your Docker containers

   Go