research
∙
06/09/2022
Holistic Verification of Blockchain Consensus
Blockchain has recently attracted the attention of the industry due, in ...
share
research
∙
11/30/2020
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Threshold guards are a basic primitive of many fault-tolerant algorithms...
research
∙
07/13/2020
Complexity of Verification and Synthesis of Threshold Automata
Threshold automata are a formalism for modeling and analyzing fault-tole...
research
∙
09/07/2019
A dynamic epistemic logic analysis of the equality negation task
In this paper we study the solvability of the equality negation task in ...
research
∙
05/19/2019