Formal verification method for certificate storage smart contract, computer device, and non-transitory computer-readable storage medium
US12028331B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 21, 2020 |
| Grant date | Jul 2, 2024 |
| Priority date | — |
| Expiry date | Apr 18, 2041 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06Q2220/00
- WIPO fieldIT methods for management
- WIPO sectorElectrical engineering
Abstract
A formal verification method for a certificate storage smart contract is provided. The method includes: obtaining the certificate storage smart contract, and performing certificate storage, forensic, and certificate storage and forensic authority granting according to different production environments and authority; adding standardization statements of formal standardization into the certificate storage smart contract; and obtaining a verification result by performing model verification on the certificate storage smart contract into which the standardization statements of the formal verification are added. A computer device and a non-transitory computer-readable storage medium are further provided.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.