Welcome to kweb!
A new web-based research IDE developed by the Formal Systems Lab at UIUC for the K project.

Execute

Use cutting edge formal verification tools in browser, including K, a semantics framework allowing you to formally define programming languages through a simple set of rewrite rules.

Try One

Learn

Sign up for your own kweb account to access additional collections and save your work in the cloud and work from anywhere! We're building fast, so check soon for more account features.

Sign Up

© Formal Systems Lab, University of Illinois