alcestes/effpi

Verified message-passing programs in Dotty

语言：Scala · GitHub 星标：49 · Fork：9

话题：actors · dotty · model-checking · processes · scala

在 GitHub 上查看原仓库