Constraint-based automatic verification of abstract models of multithreaded programs.

Giorgio Delzanno

Published in: Theory Pract. Log. Program. (2007)

Keyphrases

information retrieval
high level
model selection
database
real time
real world
artificial neural networks
hidden markov models
classification models
multi user
accurate models