Ada/TL specification and verification of a distributed computation.

William J. Hankley Peikun Tsai

Published in: SAC (1992)

Keyphrases

distributed computation
formal verification
distributed storage
distributed databases
asynchronous circuits
formal methods
model checking
protocol specification
scalability issues
formal specification
transitive closure
management system
multi agent systems
probability distribution