Verification by Augmented Finitary Abstraction.

Yonit Kesten Amir Pnueli

Published in: Inf. Comput. (2000)

Keyphrases

finite state
model checking
bounded model checking
hardware designs
high level
face verification
knowledge base
data abstraction
asynchronous circuits
verification method
evolutionary algorithm
website
database
cryptographic protocols
high security
concurrent systems
social networks
neural network