The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Nov. 18, 2025
Filed:
Aug. 17, 2018
Telefonaktiebolaget Lm Ericsson (Publ), Stockholm, SE;
Telefonaktiebolaget LM Ericsson (publ), Stockholm, SE;
Abstract
A method implemented by a network device to predict smart contract violations, where the network device is communicatively coupled to one or more computing nodes that execute one or more smart contracts that are configured to perform transactions on a blockchain. The method includes generating a control flow graph for each of the one or more smart contracts, retrieving, from the blockchain, a current state of a variable utilized by the one or more smart contracts following execution of a transaction that updates the variable, generating or updating a state space tree based on the current state of the variable and the control flow graphs generated for the one or more smart contracts, determining whether the state space tree meets a predefined violation requirement, and sending an alert to the one or more computing nodes in response to determining that the state space tree meets the violation requirement.