tla-trace-workflow
TLA+ Trace Validation workflow. Use when: (1) validating if a trace matches a TLA+ spec, (2) debugging trace validation failures (TLC reports 'Temporal properties were violated' or validation stops unexpectedly), (3) fixing spec/trace inconsistencies after root cause is identified.
Informations de source
- Dépôt
- specula-org/Specula
- Dernière activité de la source
- 20 mai 2026 à 04:22
- 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.
