Specializations in Symbolic Verification.

Vladimir S. Peschanenko Anton Guba Constantin Shushpanov

Published in: ICTERI (Revised Selected Papers) (2013)

Keyphrases

symbolic representation
model checking
face verification
website
high level
connectionist models
verification method
decision trees
multiscale
formal methods
formal analysis