Now showing items 1-1 of 1

    • Static code analysis in multi-threaded environments 

      Ehrhardt, Christian
      In this work we follow an intermediate approach that tries to use sound and conservative static code analysis techniques to avoid certain classes of bugs without having to conduct a full blown formal proof of correctness. ...