Verifying Temporal Properties of Processes.

Julian C. Bradfield Colin Stirling

Published in: CONCUR (1990)

Keyphrases

temporal properties
model checking
temporal logic
formal specification
possibility theory
formal methods
artificial intelligence
incomplete information
data mining
cooperative