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