6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Valério Medeiros, David Déharbe
This paper presents BEval, an extension of Atelier B to improve automation in the verification activities in the B method or Event-B. It combines a tool for managing and verifying…