Visual Verification of Temporal Properties.

Published in: TIME (1999)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
visual information
possibility theory
visual features
genetic algorithm
knowledge base
general purpose
neural network
high level
pattern recognition
low level
programming language