Approximated Context-Sensitive Analysis for Parameterized Verification.

Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine

Published in: FMOODS/FORTE (2009)

Keyphrases

context sensitive
data analysis
language model
spelling correction
information retrieval
context free
multiple task learning