GaloisInc/mmc-paper

Modular Model Checking Paper

语言：TeX · GitHub 星标：4 · Fork：1

话题：automatic-theorem-proving · distributed-systems · fault-tolerance · high-assureance · model-checking

在 GitHub 上查看原仓库