From software verification to 'everyware' verification.

Marta Z. Kwiatkowska

Published in: Comput. Sci. Res. Dev. (2013)

Keyphrases

databases
face verification
formal verification
machine learning
artificial intelligence
image processing
three dimensional
probabilistic model
model checking
asynchronous circuits
high security
concurrent systems