6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 6 cited
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"
Lilian Burdy, David Déharbe, Étienne Prun
The application of automatic theorem provers to discharge proof obligations is necessary to apply formal methods in an efficient manner. Tools supporting formal methods, such as At…
cs.SE2009★ 2 cited
Refining interfaces: the case of the B method
David Deharbe, Bruno E. G. Gomes, Anamaria M. Moreira
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive…