Block Me If You Can! - Context-Sensitive Parameterized Verification.

Parosh Aziz Abdulla Frédéric Haziza Lukás Holík

Published in: SAS (2014)

Keyphrases

context sensitive
language model
model checking
natural language
spelling correction
context free
multiple task learning
information retrieval
machine learning
domain knowledge
multi class