nicolasdilley/gocurrency_tool nicolasdilley/gocurrency_tool

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    HTML
  • Created almost 6 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nicolasdilley/gocurrency_tool
github

nicolasdilley

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Gomela

Tool developped for "Bounded verification of message passing concurrency in Go programs."
Promela
39
star
2

dwarf-interpreter

The compiler for the dwarf's language
Elixir
25
star
3

J-Socket

A library for java TCP socket inspired by socket.io
Java
3
star
4

gomela-ase21

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