Login / Signup
A paradigm shift in verification methodology.
Pranav Ashar
Published in:
FMCAD (2016)
Keyphrases
</>
paradigm shift
human learning
model checking
domain driven
ontological engineering
formal verification
social intelligence
future development
signature verification
domain driven data mining
data sets
neural network
artificial intelligence
case study
email