Popular repositories Loading

1. seal seal Public

   Verification tool for lock-free data structures with safe memory reclamation.

   C++ 4 1

2. phd phd Public

   Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/

   HTML 4

3. RocketScience RocketScience Public

   State-of-the-Art Model Checker for Sequential Recursive Integer Programs.

   C 3

4. TMRexp TMRexp Public

   An experimental linearizability checker for lock-free data structures using safe memory reclamation.

   HTML 3

5. semester-opening-2013 semester-opening-2013 Public

   CSS 1 1

6. FSME FSME Public

   Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.

   CSS 1