Refinement and Verification of CBC Casper.

Ryuya Nakamura Takayuki Jimba Dominik Harz

Published in: CVCBT (2019)

Keyphrases

model checking
verification method
computer vision
concurrent systems
real time
databases
data mining
machine learning
artificial intelligence
bayesian networks
formal methods