Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation.

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello

Browse the full DSD paper archive.