Skip to main content

CaesarGetting Started Docs About News

GitHub Publications

Recent posts

2025

Caesar at Summer School for Formal Techniques '25
Caesar 2.2: Timeout Handling, Recursion Checks, Improved Model Checking, and More
Foundations for Verification of Continuous Programs with Caesar
Caesar 2.1: UI Improvements, More Guardrails, and Improvements to Slicing

2024

A Game-Based Operational Semantics for HeyVL
Caesar 2.0: VSCode Extension, Slicing, and more!
ERC Proof of Concept Grant
Talk at the Dafny 2024 Workshop

2023

Distinguished Artifact at OOPSLA '23
Paper Accepted at OOPSLA '23

2022

Winner of the 2022 WhatsApp Privacy Aware Program Analysis Request for Proposals

Tags

G

grants2

P

publications4

R

releases3

T

talks2

Documentation

Getting Started
HeyVL
Standard Library
Proof Rules

Community

Caesar Discussions
Academic Publications

More

About
News
GitHub

Copyright © 2025 Caesar Developers. Built with Docusaurus.