Probabilistic models for the guarded command language

Systematic software development using VDM

Sunil Vadera · Data Processing · 1986 · 1.1K citations

Computing, Systems Engineering, Requirements Engineering +11

A logic for reasoning about probabilities

Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo · Information and Computation · 1990 · 588 citations

Natural Sciences, Mathematics, Logic +13

Probabilistic predicate transformers

Carroll Morgan, Annabelle McIver, Karen Seidel · ACM Transactions on Programming Languages and Systems · 1996 · 305 citations · Full text

Computing, Computer Science, Formal Methods +13

Programming from specifications

Eric C. R. Hehner · Science of Computer Programming · 1991 · 244 citations

Refinement-oriented probability for CSP

Carroll Morgan, Annabelle McIver, Karen Seidel et al. · Formal Aspects of Computing · 1996 · 88 citations

Computing, Computer Engineering, Computer Science +6