Towards Deriving Verification Properties.

Michael Winikoff

Published in: CoRR (2019)

Keyphrases

model checking
databases
artificial intelligence
multi agent

database
search engine
web services

expert systems
artificial neural networks
probabilistic model

petri net
desirable properties
face verification