Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ben314
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
ben314
15y ago
As an undergraduate, I used a research project at my university that did more-or-less what the author describes. The system was an "animator" for formal specifications called Possum: http://ww2.cs.mu.oz.au/~tmill/tgf/index.html Possum wou