Popular repositories Loading

1. seal seal Public

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

   C++ 5 1

2. phd phd Public

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

   HTML 4

3. TMRexp TMRexp Public

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

   HTML 3

4. RocketScience RocketScience Public

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

   C 2

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