If you are a scammer, Send email using this address.

Independent security and formal methods researcher

HOME
TALKS AND LECTURES
RESEARCH
LONG READS
CURRICULUM VITAE
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.