3 ms·
Not used Go myself, but since Go concurrency model is based on CSP, surely many CSP-based model checkers should help?
by nextos 4y ago
Not used Go myself, but since Go concurrency model is based on CSP, surely many CSP-based model checkers should help?