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.
Informations de source
- Dépôt
- specula-org/Specula
- Dernière activité de la source
- 16 juillet 2026 à 12:55
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 421
- Forks
- 45
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
