Formal Verification of Blockchain Based Tender Systems.

René Dávila Rocío Aldeco-Pérez Everardo Bárcenas

Published in: Program. Comput. Softw. (2022)

Keyphrases

formal verification
automated verification
model checking
learning systems
expert systems
building blocks
bounded model checking
data sets
intelligent systems
complex systems
model checker
distributed systems
computer systems