Distributed Bounded Model Checking.

Prantik Chatterjee Subhajit Roy Bui Phi Diep Akash Lal

Published in: CoRR (2020)

Keyphrases

bounded model checking
model checking
distributed environment
formal verification
linear temporal logic
cooperative
temporal logic
distributed data
mobile agents
general purpose
peer to peer
markov chain
lightweight
orders of magnitude
fault tolerant