tla-checking-workflow
TLA+ Model Checking workflow. Use when: (1) running TLC model checking or simulation on a TLA+ spec, (2) analyzing counterexamples from invariant violations, (3) determining whether a violation is an invariant mismatch, a spec issue, or a real bug in the system implementation.
ソース情報
- リポジトリ
- specula-org/Specula
- ソースの最終更新活動
- 2026年7月16日 12:55
- 検出された SKILL.md の言語
- 英語
- スター
- 421
- フォーク
- 45
インストール方法
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
ソースファイルを確認
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
