issues
search
nicolasdilley
/
Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
39
stars
7
forks
source link
Add aliasing
#14
Closed
nicolasdilley
closed
1 year ago