EventB2Maude : probabilistic modeling and statistical model checking for event-B with probabilistic rewrite theories and MultiVeStA

Computer based systems increase every day in complexity. This tendency demands more modeling and verification features from formal methods, in order to mathematically proof properties over these systems. One of these formal methods is Event-B, which has been extended in order to cope with probabilis...