9 citations · 19 across the 3 of their papers we have counts for
3 papers
First steps towards the certification of an ARM simulator using Compcert
Xiaomu Shi, Jean-François Monin, Frederic Tuong +1
The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hard…
Designing a CPU model: from a pseudo-formal document to fast code
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff +2
For validating low level embedded software, engineers use simulators that take the real binary as input. Like the real hardware, these full-system simulators are organized as a set…
Gentzen-Prawitz Natural Deduction as a Teaching Tool
Jean-François Monin, Cristian Ene, Michaël Périn
We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using Gentzen-Prawitz's style natural deduction. We argue that this…