76 citations · 182 across the 15 of their papers we have counts for
1 paper · 1 filter
Annabelle McIver, Carroll Morgan
The "correct by construction" paradigm is an important component of modern Formal Methods, and here we use the probabilistic Guarded-Command Language pGCL to illustrate…