d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework.

Malay K. Ganai Weihong Li

Published in: Haifa Verification Conference (2008)

Keyphrases

distributed systems
real time
theoretical framework
lightweight
genetic algorithm
information systems
search algorithm
digital libraries
main contribution
distributed learning
cooperative
database
mobile agents
databases
distributed environment
fault tolerant
conceptual framework
data transfer