agentsclimarketplace
Sign in

Model checker interface

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/model-checker-interface

Interface with multiple model checking tools for formal verificationFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill model-checker-interface

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.3 KB, 155 tokens by cl100k_base, as published. Nobody here has run it

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

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 325,949. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.