Quint: Executable Specs for Reliable Systems(quint-lang.org)4 points·by 0xcafefood·4 mesi fa·0 commentsquint-lang.orgQuint: Executable Specs for Reliable Systemshttps://quint-lang.org/0 commentsPost comment—