System Description: Verification of Distributed Erlang Programs.

Thomas Arts Mads Dam Lars-Åke Fredlund Dilian Gurov

Published in: CADE (1998)

Keyphrases

distributed systems
multi agent
fault tolerant
communication overhead
model checking
cooperative
mobile agents
distributed environment
formal verification
genetic algorithm
distributed learning
database
face verification
computing environments
lightweight
information systems
neural network
databases