SRI-CSL/sally

SRI Sally: A model checker for infinite-state systems.

语言：C++ · GitHub 星标：80 · Fork：15

话题：bounded-model-checking · ic3 · k-induction · model-checker · transition-systems · verification

在 GitHub 上查看原仓库