Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.

Joylyn Reed Raymond T. Yeh

Published in: ACM Trans. Program. Lang. Syst. (1988)

Keyphrases

concurrent processes
formal verification
desirable properties
protocol specification
multi agent systems
model checking
artificial intelligence
case study
high level
image sequences
search algorithm
structural properties
topological properties
formal language
asynchronous circuits
concurrent programs