ROSMonitoring: a Runtime Verification Framework for ROS
-
Updated
Jun 29, 2026 - Python
#
runtime-verification
Here are 37 public repositories matching this topic...
Analysis tool for Solidity smart contracts. Prototype.
-
Updated
Nov 7, 2023 - Python
A pure Python package to monitor formal specifications over temporal sequences
-
Updated
Dec 10, 2019 - Python
A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
-
Updated
Dec 29, 2024 - Python
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
monitoring data-stream regular-expression stream-processing temporal-logic code-generation monitoring-tool temporal-data runtime-verification formal-specification
-
Updated
Dec 20, 2019 - Python
A tool for reactive synthesis with monitor triggers.
-
Updated
Nov 10, 2023 - Python
Tools to enable Runtime Verification in ROS using HPL properties
-
Updated
Jul 22, 2026 - Python
Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.
machine-learning monitoring stl artificial-intelligence formal-methods failure-detection runtime-verification ijcai2024
-
Updated
Aug 3, 2024 - Python
AI Agent observability console with RAG, tool calling, runtime verification, eval runs, and release-ready local demo workflow.
redis docker-compose nextjs postgresql full-stack eval runtime-verification rag fastapi ai-agent tool-calling ai-coding agent-observability
-
Updated
Jul 16, 2026 - Python
-
Updated
Jul 28, 2026 - Python
Semantic trust layer for evidence-gated verification of AI-generated workflows before lowering or execution.
python code-generation program-analysis ai-safety ai-agents runtime-verification policy-as-code conformance-testing llm-agents agent-governance trust-layer semantic-verification workflow-verification semantic-contracts evidence-gated-execution pre-execution-validation tool-contracts golden-traces
-
Updated
May 25, 2026 - Python
A local-first compatibility and intelligence platform for Python package stacks. Detects runtime mismatches, validates hardware compatibility, and recommends stable dependency stacks.
python serverless mcp dependency-analysis developer-tools runtime-verification cloudflare-workers watsonx watsonx-orchestrate environment-validation compatibility-checker vram-memory-estimation cuda-compatibility
-
Updated
May 17, 2026 - Python
Tools to manage RV monitors created from HPL
-
Updated
Jul 22, 2026 - Python
A promotion gate that judges what your code does, not what it says — runs a PR in a hermetic sandbox, observes boundary behaviour, and blocks the merge on violation.
sandbox ci-cd code-review github-app devsecops runtime-verification supply-chain-security merge-gate
-
Updated
Jul 28, 2026 - Python
Interpretability by construction: route a layer's computation through a certified Legible Bottleneck and emit a runtime Faithfulness Certificate that bounds everything the named concepts cannot explain. Paper and reference implementation.
deep-learning agi pytorch transparency ai-safety interpretability runtime-verification sparse-autoencoder interpretable-ai explainable-ai ai-alignment neural-network-verification trustworthy-ai mechanistic-interpretability faithfulness concept-bottleneck transcoders causal-abstraction glass-box certified-ai
-
Updated
Jul 2, 2026 - Python
RVPlan: Runtime Verification of Assumptions in Automated Planning
-
Updated
Jun 7, 2021 - Python
Monitoring hyperproperties with Multi-trace prefix transducers
-
Updated
Oct 2, 2024 - Python
A compiler-inspired code generation pipeline that transforms natural language prompts into validated, surgically-repaired, and runtime-verified DB/API/UI/Auth schemas using a deterministic multi-stage pipeline, SQLite, FastAPI, and Next.js.
python code-generator graph-algorithms sqlite networkx software-architecture validation-engine runtime-verification fastapi compiler-pipeline deterministic-lexer
-
Updated
Jun 25, 2026 - Python
Signed Verification Receipts for deterministic AI verification: CPU-only, Ed25519-signed, reproducible, independently verifiable.
mcp verification provenance ed25519 audit-log ai-agents runtime-verification svr ai-security agentic-ai agent-security deterministic-ai sheaf-cohomology trust-boundary signed-receipts cosai graph-verification
-
Updated
Jun 12, 2026 - Python
Replayable Python protocol engine for checking time-bound future claims from canonical artifacts, with typed outcomes and audit trails.
python json-schema runtime-verification proof-checking audit-trail protocol-engine agent-safety canonical-json future-claims authority-validation artifact-bundles
-
Updated
Jul 13, 2026 - Python
Improve this page
Add a description, image, and links to the runtime-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the runtime-verification topic, visit your repo's landing page and select "manage topics."