Sireum V

An Agentic High-Assurance System Engineering Platform

A light preview of the next-generation Sireum platform — built by the workflow it enables.

The recorded talk below walks through V's origin, design, and current state.

YouTube embeds are lightly compressed. For source quality, download the H.265 master (.mp4, ~1.8 GB).

Music by PaulYudin via Pixabay.

Sireum V is the fifth-generation host for Slang — Sireum's formally verifiable, safety-critical programming language — bringing JVM, native, and WebAssembly targets under a single self-hosted compiler.