KaiSta/gopherlyzer KaiSta/gopherlyzer

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Go
  • Created over 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KaiSta/gopherlyzer
github

KaiSta

Reviews

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

Repository Details

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

More Repositories

1

gopherlyzer-GoScout

Trace-Based Run-time Analysis of Message-Passing Go Programs
Go
7
star
2

scrates

C++
4
star
3

SpeedyGo

Go
1
star
4

Parallel_CHR

CHR framework written in C++ that executes CHR concurrently and supports linear and non-linear rules.
C++
1
star
5

gopherlyzer-GuaranteedRaces

Go
1
star