Skip to main content

CaesarGetting Started Docs About News

GitHub Publications

Recent posts

2026

Caesar 4.0: Expression Parsing Changes, Soundness Diagnostics, and More
Highly Incremental: A Simple Programmatic Approach for Many Objectives
Verification of Almost-Sure Termination with Distributed Algorithms at POPL 2026
Talk on Slicing at Dafny 2026

2025

Paper on Slicing Accepted at ESOP 2026
QEST + FORMATS 2025 Keynote Talk
Caesar 3.0: Better Reasoning with Limited Functions
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

publications7

R

releases5

T

talks4

Documentation

Getting Started
HeyVL
Standard Library
Proof Rules

Community

Caesar Discussions
Academic Publications

More

About
News
GitHub

Copyright © 2026 Caesar Developers. Built with Docusaurus.