Deciding the Verification Problem for Abstract State Machines.

Published in: Abstract State Machines (2003)

Keyphrases

model checking
face verification
formal verification
data sets
information systems
formal analysis
signature verification
functional verification
neural network
real world
case study
data structure
digital libraries
formal methods
high security