nimble-code/Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

语言：C · GitHub 星标：479 · Fork：141

在 GitHub 上查看原仓库