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