nicolasdilley/Gomela

Stars
39
Rank 693,563 (Top 14 %)
Language Promela
Created almost 5 years ago
Updated over 1 year ago

nicolasdilley/Gomela

nicolasdilley

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

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

dwarf-interpreter

The compiler for the dwarf's language

gocurrency_tool

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

J-Socket

A library for java TCP socket inspired by socket.io

gomela-ase21

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