-
Proof Automation for Atelier B Rules Verification
The purpose of this thesis is the verification of Atelier B added rules using the framework named BCARe which relies on a deep embedding of the B theory within the... -
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
International audience
