Results for Formal protocol specs