Generate formal state machine specifications from functional requirements using CSP failure models.
npx skills add https://github.com/Foo-x/dotfiles --skill spec-foo-x
Please help me install this Agent Skill. Skill: spec Source: https://github.com/Foo-x/dotfiles/tree/main/claude/skills/spec Command: npx skills add https://github.com/Foo-x/dotfiles --skill spec-foo-x
This Skill automates the creation of formal specification documents for systems, ensuring clarity, correctness, and completeness by translating functional requirements into a state machine model.
Use the spec skill to generate a formal specification for a vending machine based on the provided requirements.
High-intent search queries and answers about installing and using this skill.
To generate formal state machine specifications from functional requirements, provide the system's liveness, reachability, and safety needs. The tool translates these into state variables, guarded transitions, postconditions, and failure sets.
CSP failure model principles in requirements engineering define system behavior by evaluating failures, deadlocks, and refinement conditions. This approach ensures component specifications adhere to strict safety and liveness properties during state machine generation.
You can decompose complex systems into component specifications and design APIs by breaking down top-level requirements. The tool defines manageable component state machines and analyzes their refinement conditions to ensure system-wide consistency.
Analyzing deadlocks in formal state machine specifications involves evaluating the generated failure sets and transition guards. The tool checks for unreachable states and ensures component specifications adhere to refinement conditions to prevent deadlocks.
This specification tool supports systems with screen UIs by defining specific display functions within the state machine model. This ensures the formal specification accurately captures both backend transitions and frontend interface behaviors.
Foo-xGenerate acceptance and rejection test cases from specifications using CSP failure models.
santosomarExtract finite-state SMV models from source code for formal verification.
SSiertsemaModel business object lifecycles with states, transitions, guards, and invariants.
atilladenizGenerate Mermaid diagrams for system design and architecture visualization.
