Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic.

Yepeng Ding Hiroyuki Sato

Published in: ICA3PP (1) (2020)

Keyphrases

distributed systems
management system
databases
modal logic
learning systems
real time
logic programming
programming language
decentralized control
verification method
peer to peer systems
building blocks
software engineering
expert systems
search algorithm
cooperative
neural network
data sets