formal-methods-guide
CommunityAuthoritative guide for VDM-SL and formal methods.
Software Engineering#specification#invariants#post-conditions#pre-conditions#formal-methods#po#vdm-sl
Authorkotaroyamame
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Provide developer-friendly explanations and background knowledge on VDM-SL and formal methods to help teams write precise specifications and reason about system behavior.
Core Features & Use Cases
- Clear overview of VDM-SL syntax, types, invariants, pre- and post-conditions, and proof obligations.
- Practical explanations of core concepts with plain-language clarifications and example snippets.
- Use cases for learning, reference during spec design, and onboarding new team members.
Quick Start
Ask questions about VDM-SL syntax, invariants, or proof obligations to get concise explanations and examples.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: formal-methods-guide Download link: https://github.com/kotaroyamame/formal-agent-contracts/archive/main.zip#formal-methods-guide Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.