Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix

Nickolas Carter, Duane Davis, Cynthia E. Irvine, Peter Pommer. Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix. In Tung X. Bui, editor, 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023. pages 6716-6725, ScholarSpace, 2023. [doi]

Abstract

Abstract is missing.