An Alloy Verification Model for Consensus-Based Auction Protocols.

Saber Mirzaei Flavio Esposito

Published in: CoRR (2014)

Keyphrases

probabilistic model
high level
cost function
formal model
probability distribution
management system
theoretical analysis
mathematical model
neural network
clustering algorithm
database systems
similarity measure
conceptual model
simulation model
formal verification