Formal verification of dependable distributed protocols.

Purnendu Sinha Da Qi Ren

Published in: Inf. Softw. Technol. (2003)

Keyphrases

formal verification
model checking
fault tolerant
model checker
distributed environment
bounded model checking
symbolic model checking
automated verification
multi agent
cooperative
multi party
communication protocol
peer to peer
program slicing