A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B

Carlos Olarte, Camilo Rocha, Daniel Osorio

Probabilistic specifications are fast gaining ground as a tool for statistical modeling of probabilistic systems. One of the main goals of formal methods in this domain is to ensur…