Lorentz Center - Effective Verification: Static Analysis Meets Program Logics from 13 May 2019 through 17 May 2019
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Effective Verification: Static Analysis Meets Program Logics
    from 13 May 2019 through 17 May 2019

 

The aim of this workshop is to bring together researchers in both static analysis and program logics (e.g. concurrent separation logic) so that they can learn from each other's techniques and tools. The further reaching goal is to obtain more effective automation for program logics (using techniques from static analysis), and to extend static analysis to prove more daring properties beyond safety (using techniques from program logics).

 

The workshop will be a combination of regular talks by the participants, tutorials on verification tools, and breakout sessions. During these break out sessions, the participants can discuss each otherís verification tools and work on verification challenges using their respective verification tools. These verification challenges include both algorithm/software verification and logical reasoning problems related to dynamic data structures, such as those addressed by the SLComp, SV-COMP, and VerifyThis competitions. Before the start of the workshop, we will ask the participants to contribute such challenge problems.

 



   [Back]