4 ms·
More on Dr. Holzmann's (author of SPIN) work and his setup here: https://news.ycombinator.com/item?id=6950440 https://news.ycombinator.com/item?id=6950440
by atsaloli 12y ago
More on Dr. Holzmann's (author of SPIN) work and his setup here: https://news.ycombinator.com/item?id=6950440 https://news.ycombinator.com/item?id=6950440