2 search results for "author:"Michael Schwarz""

Showing 1 - 2
  1. goblint
    Documentation
    Static analysis framework for C
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Ralf Vogler et al.
    2.3.0
    MIT
    Used by 0 other packages
    27 Nov 2023
  2. goblint-cil
    Documentation
    A front-end for the C programming language that facilitates program analysis and transformation
    George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler et al.
    2.0.3
    BSD-3-Clause
    Used by 2 other packages
    21 Nov 2023