Login / Signup
Modelling proof-of-work agreement protocol by coloured Petri nets.
Birgit Pröll
Werner Retschitzegger
Wieland Schwinger
Tatiana R. Shmeleva
Dmitry A. Zaitsev
Published in:
Int. J. Parallel Emergent Distributed Syst. (2022)
Keyphrases
</>
coloured petri nets
formal verification
theorem prover
linear logic
formal proof
data sets
co occurrence
model checking
theorem proving