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...
Gardado en:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
Frontiers Media S.A.
2023-09-01
|
| Series: | Frontiers in Blockchain |
| Assuntos: | |
| Acceso en liña: | https://www.frontiersin.org/articles/10.3389/fbloc.2023.1248962/full |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|