integration¶
Adapters that apply formal verification primitives to real protocol and workflow systems.
Formal verification integration adapters.
This module provides integration adapters that connect formal verification components (MPST, Process Algebra) to protocol and workflow systems.
Components: - MPSTBridgeAdapter: Session type verification for cross-protocol messaging - CSPOrchestrationAdapter: Process algebra verification for workflows
Submodules¶
| Module | Description |
|---|---|
mpst_bridge |
Session type verification for MCP and A2A protocol interactions |
csp_orchestration |
CSP-based workflow specification, verification, and composition |