A Logical Foundation for Verification.

Jan Treur Mark Willems

Published in: ECAI (1994)

Keyphrases

model checking
artificial intelligence
signature verification
logical reasoning
face verification
formal analysis
formal verification
logical structure
logical representation
logical operations
neural network
temporal logic
theoretical foundation