Login / Signup
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability.
Igor V. Konnov
Helmut Veith
Josef Widder
Published in:
Inf. Comput. (2017)
Keyphrases
</>
bounded model checking
knowledge base
optimal solution
optimization problems
computationally efficient
data mining
learning algorithm
cooperative
significant improvement
distributed systems
constraint satisfaction problems
distributed environment
search methods
evaluation function
formal verification