1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2016★ 1 cited
From Event-B to Verified C via HLL
Ning Ge, Arnaud Dieumegard, Eric Jenn +1
This work addresses the correct translation of an Event-B model to C code via an intermediate formal language, HLL. The proof of correctness follows two main steps. First, the fina…
eess.SY2013
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Timothy Wang, Romain Jobredeaux, Heber Herencia +4
This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties whi…