Towards Agile Verification.

Carlo Ghezzi Amir Molzam Sharifloo Claudio Menghi

Published in: Perspectives on the Future of Software Engineering (2013)

Keyphrases

model checking
project management
artificial neural networks
face verification
formal analysis
formal verification
decision making
web services
supply chain management
data sets
artificial intelligence
hidden markov models
formal methods
verification method
functional verification