Distributed Bounded Model Checking.

Prantik Chatterjee Subhajit Roy Bui Phi Diep Akash Lal

Published in: FMCAD (2020)

Keyphrases

bounded model checking
distributed systems
model checking
temporal logic
linear temporal logic
distributed environment
data sets
peer to peer
formal verification
cooperative
lightweight
fault tolerant
multi agent
general purpose
multi agent systems
domain independent
web services
learning algorithm
neural network