A Syntactic-Semantic Approach to Incremental Verification

Domenico Bianculli Antonio Filieri Carlo Ghezzi Dino Mandrioli

Published in: CoRR (2013)

Keyphrases

syntactic semantic
dependency parsing
knowledge base
model checking
data driven
machine learning
incremental learning
formal analysis
concurrent systems
neural network
artificial intelligence
decision trees
digital libraries
real time
real world
efficient incremental
functional verification