Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata
In recent times, the research on blockchain interoperability has gained momentum, enabling the entities from different heterogeneous blockchain networks to communicate with each other seamlessly. Amid the proliferation of blockchain ventures, for ensuring the correctness of inter-blockchain communic...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Frontiers Media S.A.
2023-09-01
|
| Series: | Frontiers in Blockchain |
| Subjects: | |
| Online Access: | https://www.frontiersin.org/articles/10.3389/fbloc.2023.1248962/full |