Wordt geladen...
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...
Bewaard in:
| Gepubliceerd in: | Computer Aided Verification |
|---|---|
| Hoofdauteurs: | , , , , , , , , |
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
2020
|
| Onderwerpen: | |
| Online toegang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7363214/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-53288-8_7 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|