Discover @nicolasdilley Open Source projects

@nicolasdilley

nicolasdilley

Stars
77
Global Rank 250,980 (Top 9 %)
Followers 5
Registered about 8 years ago
Most used languages

Promela 40.0 %

HTML
20.0 %

Elixir
20.0 %

Java
20.0 %

Gomela

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"