Skip to content
| Marketplace
Sign in
Visual Studio Code>Other>K as a ServiceNew to Visual Studio Code? Get it now.
K as a Service

K as a Service

RuntimeVerification

|
4 installs
| (1) | Free
K as a Service (KaaS) extension for VS Code providing K framework integration and tooling
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

K as a Service (KaaS) VS Code Extension

KaaS provides integration with the K framework for formal verification and language tooling directly in Visual Studio Code.

Features

  • Detects and works with kontrol.toml files and foundry.toml
  • Run Kontrol test and Foundry Tests in the Cloud

Getting Started

  1. Install the extension from the Marketplace.
  2. Open a folder containing a kontrol.toml file.
  3. Use the command palette to access KaaS features.

Configuration

Get API key from https://kaas.runtimeverification.com

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft