BEval: A Plug-in to Extend Atelier B with Current Verification Technologies

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…