AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.

Christof Fetzer, Ute Schiffel, Martin Skraut

Browse the full SAFECOMP paper archive.