GitHub / y-taka-23 / ddsv-go

A toy deadlock detector written in Go. 🔍

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/y-taka-23%2Fddsv-go
PURL: pkg:github/y-taka-23/ddsv-go

Stars: 30
Forks: 2
Open issues: 0

License: apache-2.0
Language: Go
Size: 428 KB
Dependencies parsed at: Pending

Created at: almost 6 years ago
Updated at: 9 months ago
Pushed at: over 5 years ago
Last synced at: 4 months ago

Topics: automaton, deadlock, formal-methods, formal-verification, go, golang, graphviz, model-checking, state-machine

Loading...