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

Rocha Niño, Hernán CamiloOsorio Valencia, Daniel Fabian2024-06-142024-06-142023https://vitela.javerianacali.edu.co/handle/11522/256481 p.application/pdfengEventB2Maude : probabilistic modeling and statistical model checking for event-B with probabilistic rewrite theories and MultiVeStAhttp://purl.org/coar/resource_type/c_7a1fhttps://creativecommons.org/licenses/by-nc-nd/4.0/http://purl.org/coar/access_right/c_abf2