Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts.
Zakaryae BoudiMohamed ToubPublished in: CRiSIS (2023)
Keyphrases
- main contribution
- high precision
- error rate
- detection method
- computationally efficient
- cost function
- mutual information
- high accuracy
- support vector machine
- clustering method
- supply chain
- data sets
- probabilistic model
- computational cost
- case based reasoning
- experimental evaluation
- dynamic programming
- preprocessing
- theoretical analysis
- computational complexity
- similarity measure
- decision trees
- genetic algorithm
- neural network