2 ms·
Yeah, a "Related Work" section would (potentially) be very reassuring. What would be really cool is if this could serve as a front-end to e.g. SPIN model check
by carapace 7y ago
Yeah, a "Related Work" section would (potentially) be very reassuring.
What would be really cool is if this could serve as a front-end to e.g. SPIN model checker ( https://en.wikipedia.org/wiki/SPIN_model_checker https://en.wikipedia.org/wiki/SPIN_model_checker https://en.wikipedia.org/wiki/Promela https://en.wikipedia.org/wiki/Promela )