Static analysis of deterministic negotiations.

Javier Esparza Anca Muscholl Igor Walukiewicz

Published in: LICS (2017)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
open source
regular expressions
test generation
abstract interpretation
electronic commerce
software agents
multi issue
relational databases