Protocol log analysis with constraint programming

Mats Carlsson, Olga Grinchtein, Justin Pearson
January 2014
PDF Cite
Type
Conference paper
Publication
SMT 2014, the 12th International Workshop on Satisfiability Modulo Theories