Allow Google Analytics cookies and scripts to let us see what content our readers find engaging? Approve More info

Independent security and formal methods researcher

HOME
TALKS AND LECTURES
RESEARCH
LONG READS
TAGS
CATEGORIES

Home Categories tooling

Category

tooling 2

Apalache has moved Aug 13, 2024
Quint: Another look at the logic of TLA⁺ Dec 31, 2023

Recently Updated

New developments in Solarkraft - Stellar Community Fund 29
Research & development as a service
ChonkyBFT: Consensus Protocol of ZKsync (paper)
Exploring Automatic Model-Checking of the Ethereum specification (tech. report)
Talks at DevCon 2024

Trending Tags

verification specification TLA+ model checking quint research apalache simulation conference consensus

© 2025 Igor Konnov. Some rights reserved. | Privacy Policy – Datenschutz | Impressum

Using the Chirpy theme for Jekyll.

Trending Tags

verification specification TLA+ model checking quint research apalache simulation conference consensus

A new version of content is available.