23 citations · 29 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016
Probabilistic Failure Analysis in Model Validation & Verification
Ning Ge, Marc Pantel, Xavier Crégut
Automated fault localization is an important issue in model validation and verification. It helps the end users in analyzing the origin of failure. In this work, we show the early…
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…