Dezyne 2.18.0 released, introducing shared interface state, and more!
Dezyne is a language to specify, formally verify, simulate, and implement concurrent software. Sponsored by #VerumSoftware.
lists.gnu.org/archive/html...
#FormalMethods
#FSF
#Guile