5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou
Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- c…