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 on a block …

The need to provide formal guarantees about the behaviour of the algorithms underpinning
modern distributed systems became evident in recent years. This interest made apparent the …

TLA+ is a language for formal specification of concurrent and distributed protocols. TLA+ is
extremely concise yet expressive: The language primitives include Booleans, integers …

Blockchains are a specific type of distributed ledgers structured by a sequence of blocks of
transactional data linked to each other. The use of blockchains has increased over time, and …

Until now, computer-aided proofs of the liveness of byzantine consensus algorithms
assumed synchrony to reason in lock steps or the error-prone manual intervention of experts …

Blockchain technologies have drawn significant attention from both academia and industry
over the last decade, with increasing adoption by the general public and potential to …

Une blockchain est un système distribué qui permet de stocker des données ne pouvant
être ni modifiées ni supprimées. Les applications blockchain sont très complexes, car elles …