Arch Linux Reproducible Builds Are we reproducible yet?! Jelle van der Waa - Outsource magazine - Document - PDFSEARCH.IO - Document Search Engine

<--- Back to Details

First Page		Document Content
Date: 2018-10-26 04:15:28 System software Software Computer architecture Arch Linux Deterministic compilation Package manager Awesome		Arch Linux Reproducible Builds Are we reproducible yet?! Jelle van der Waa Add to Reading List Source URL: programm.froscon.de Download Document from Source Website File Size: 143,43 KB Share Document on Facebook

Similar Documents

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl

DocID: 1bjVk - View Document