String Constraints for Verification.

Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Lukás Holík Ahmed Rezine Philipp Rümmer Jari Stenman

Published in: CAV (2014)

Keyphrases

model checking
real time
information retrieval
data structure
constrained optimization
multiple constraints
data sets
neural network
genetic algorithm
case study
constraint programming
global constraints
soft constraints