33 citations · 33 across the 1 of their papers we have counts for
1 paper
Tiago Ferreira, Harrison Brewton, Loris D'Antoni +1
We present Prognosis, a framework offering automated closed-box learning and analysis of models of network protocol implementations. Prognosis can learn models that vary in abstrac…