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

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

Generate a set of Benchmarks which expose Golang's major runtime and blocking errors while including a non-buggy goroutine which contains a recurring concurrency patterns in Go programs.

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

FileRenamer renames all the files/folder in a parent folder by replacing a string with another.

The compiler for the dwarf's language

A library for java TCP socket inspired by socket.io