Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Valério Medeiros Jr."'
Autor:
Valério Medeiros Jr., David Déharbe
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 53-58 (2014)
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 software projects (Atelier B) and a model checker/animator (ProB) so t
Externí odkaz:
https://doaj.org/article/15f7bdd29dd34413ac5e99bcd3f5e7a2
