formal-methods
Installation
SKILL.md
What I do
- Specify system behavior formally
- Verify correctness of algorithms
- Prove properties about programs
- Model check systems
When to use me
When building high-assurance systems where correctness is critical.
Formal Specification
Pre/Post Conditions
class FormalSpec:
"""Design by contract"""