Accelerated Verification of Parametric Protocols with Decision Trees.

Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei

Browse the full ICCD paper archive.