3 ms·
Very nice! How would you use it? Does the user make some kind of liveness assertion about a Go program which then gets model checked?
by lewq 10y ago
Very nice! How would you use it? Does the user make some kind of liveness assertion about a Go program which then gets model checked?