32 citations · 85 across the 18 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 12 cited
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS
Igor Konnov, Markus Kuppe, Stephan Merz
Using an algorithm due to Safra for distributed termination detection as a running example, we present the main tools for verifying specifications written in TLA+. Examining their…
cs.CR2022
Holistic Verification of Blockchain Consensus
Nathalie Bertrand, Vincent Gramoli, Igor Konnov +3
Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus…
math.OC2022★ 2 cited
Primal-Dual Method for Optimization Problems with Changing Constraints
Igor Konnov
We propose a modified primal-dual method for general convex optimization problems with changing constraints. We obtain properties of Lagrangian saddle points for these problems whi…