22 Feb
2021
22 Feb
'21
3:31 p.m.
Hello,
I'd like to thank the developers for the awesome Spot's online LTL
toolset! It's helping me a lot with my model checking project with Spin.
This is exactly how formal methods should look like in the 2020'ies...
If I may be so bold to request a feature, would it be possible to encode
the input formula into URL, so that I could share a link with my fellow
students?
Best regards,
John Lång