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 Tags smt

Tag

smt 1

Apalache has moved Aug 13, 2024

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.