5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2009
Yet Another Deep Embedding of B:Extending de Bruijn Notations
Eric Jaeger, Thérèse Hardin
We present Bicoq3, a deep embedding of the B system in Coq, focusing on the technical aspects of the development. The main subjects discussed are related to the representation of s…
cs.LO2009★ 5 cited
A Few Remarks About Formal Development of Secure Systems
Eric Jaeger, Thérèse Hardin
Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the dev…