wouterjsmit/Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem

语言：Haskell · GitHub 星标：2 · Fork：0

话题：del · dynamic-epistemic-logic · gossip · logic · model-checking · symbolic-model-checking

在 GitHub 上查看原仓库