Reductions and abstractions for formal verification of distributed round-based algorithms.

Raul Barbosa Alcides Fonseca Filipe Araújo

Published in: Softw. Qual. J. (2021)

Keyphrases

formal verification
orders of magnitude
learning algorithm
computational complexity
model checking
significant improvement
theoretical analysis
cooperative
search strategies
decision trees
high level
data mining techniques
data mining algorithms
distributed environment