Modeling and Verification of CKB Consensus Protocol in Coq
In: IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C); (2021-12-01) S. 660-667
Konferenz
Zugriff:
Titel: |
Modeling and Verification of CKB Consensus Protocol in Coq
|
---|---|
Autor/in / Beteiligte Person: | Luan, Xiaokun ; Sun, Meng |
Quelle: | IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C); (2021-12-01) S. 660-667 |
Veröffentlichung: | 2021 |
Medientyp: | Konferenz |
ISBN: | 978-1-6654-7836-6 (print) |
ISSN: | 2693-9371 (print) |
DOI: | 10.1109/QRS-C55045.2021.00100 |
Sonstiges: |
|