nicolasdilley/gomela-ase21 nicolasdilley/gomela-ase21

  • Stars
    star
    2
  • Language Promela
  • License
    MIT License
  • Created over 3 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nicolasdilley/gomela-ase21
github

nicolasdilley

Reviews

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

Repository Details

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

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

gocurrency_tool

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

J-Socket

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