On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.

Marina Gelastou Chryssis Georgiou Anna Philippou

Published in: NCA (2008)

Keyphrases

formal methods
development lifecycle
model checking
distributed systems
distributed environment
computing environments
security properties
database
multi agent systems
peer to peer