Some Perspectives of Infinite-State Verification.

Wolfgang Thomas

Published in: ATVA (2005)

Keyphrases

model checking
special case
face verification
formal analysis
asynchronous circuits
verification method
integrity verification
database
databases
learning algorithm
artificial intelligence
decision trees
temporal logic
formal verification
cryptographic protocols
handwritten signature verification