Agent-Skills.md

Agent Skills: Model Checker Interface

Interface with multiple model checking tools for formal verification

formal-verificationID: a5c-ai/babysitter/model-checker-interface

Repository

a5c-ai/babysitter
a5c-aiLicense: MIT
244

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/model-checker-interface

Skill Files

Browse the full folder contents for model-checker-interface.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/model-checker-interface/SKILL.md

Skill Metadata

Name
model-checker-interface
Description
Interface with multiple model checking tools for formal verification

Model Checker Interface

Purpose

Provides expert guidance on using model checking tools for formal verification of systems and protocols.

Capabilities

  • SPIN/Promela specification generation
  • NuSMV/NuXMV interface
  • UPPAAL for timed systems
  • Result parsing and visualization
  • Counterexample trace analysis
  • Abstraction refinement

Usage Guidelines

  1. Tool Selection: Choose appropriate model checker
  2. Specification: Translate system to checker's language
  3. Properties: Specify properties to verify
  4. Checking: Run model checker
  5. Analysis: Interpret results and counterexamples

Tools/Libraries

  • SPIN
  • NuSMV
  • UPPAAL
  • PRISM