Path Feasibility Analysis for String-Manipulating Programs.

Nikolaj Bjørner Nikolai Tillmann Andrei Voronkov

Published in: TACAS (2009)

Keyphrases

data structure
statistical analysis
neural network
decision making
relational databases
image analysis
database
databases
real world
multiscale
information technology