The Move Prover

The Libra blockchain is designed to store billions of dollars in assets, so the security of code that executes transactions is important. The Libra blockchain has a new language for implementing transactions, called “Move.” This paper describes the Move Prover, an automatic formal verification syste...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
में प्रकाशित:Computer Aided Verification
मुख्य लेखकों: Zhong, Jingyi Emma, Cheang, Kevin, Qadeer, Shaz, Grieskamp, Wolfgang, Blackshear, Sam, Park, Junkil, Zohar, Yoni, Barrett, Clark, Dill, David L.
स्वरूप: Artigo
भाषा:Inglês
प्रकाशित: 2020
विषय:
Article
ऑनलाइन पहुंच:https://ncbi.nlm.nih.gov/pmc/articles/PMC7363214/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-53288-8_7
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन