返回 编程语言
编程语言libraryErlang
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
344 stars43 forks17 issuesBSD-2-Clause更新于 2026/5/7
automaticcodecovcodecov-badgeconcuerrorconcurrent-erlang-programsconcurrent-programmingdebuggingerlangerlang-programserlang-versions-badgemodel-checkermodel-checkingotpstateless-model-checkingsystematic-testingtestingtooltravis-badgeverification
暂无详细内容