Work Company Research

Thank You for Installing Our GitHub App

Runtime Verification Inc

You can now continue your work with the following tools:

KaaS

https://docs.runtimeverification.com/kaas

Tools

Kontrol
Simbolik
K Framework

Connect

X (Twitter)
LinkedIn
GitHub

About Careers Contact

Latest from the teamSoftware quality assurance, formal verification, and AI agentic research from Runtime Verification.

Research Archive

Peer-reviewed workPapers and talks from the team behind the K Framework.

Copyright © 2026 Runtime Verification. All rights reserved

Terms of Use
Privacy Policy