Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield.

Paul K. Harter Jr.

Published in: ACM SIGOPS Oper. Syst. Rev. (1993)

Keyphrases

temporal logic
model checking
temporal properties
formal methods
distributed systems
multi agent
computer systems
neural network
genetic algorithm
pattern recognition
data analysis
management system