Skillget

genpark-modal-temporal-ltl-model-checker-skill

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 8 GitHub stars
Code Gecti
  • Code scan — Scanned 4 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

SUMMARY

GenPark AI Agent Skill - Linear Temporal Logic (LTL) symbolic model checker verifying safety (G), liveness (F), and response (G(p -> Fq)) across finite state transition graphs.

README.md

GenPark Modal Temporal LTL Model Checker Skill

Linear Temporal Logic (LTL) symbolic model checker verifying Safety (G), Liveness (F), and Response properties.

Find more agent tools at GenPark and the GenPark MCP Catalog.

graph LR
    A[IDLE: safe] -->|start| B[WORKING: safe, request]
    B -->|finish| C[COMPLETED: safe, response]
    C -->|reset| A
    style A fill:#e1f5fe
    style B fill:#fff9c4
    style C fill:#c8e6c9

Features

  • Kripke state transition graph construction.
  • Verification of safety invariants with counterexample path generation.
  • Zero external dependencies.

Yorumlar (0)

Sonuc bulunamadi