I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Dual analysis for proving safety and finding bugs

Reference:

Corneliu Popeea and Wei-Ngan Chin. Dual analysis for proving safety and finding bugs. Sci. Comput. Program., 78(4):390–411, April 2013.

Suggested BibTeX entry:

@article{PopeeaSCP13,
    author = {Corneliu Popeea and Wei-Ngan Chin},
    journal = {Sci. Comput. Program.},
    month = {April},
    number = {4},
    pages = {390-411},
    title = {Dual analysis for proving safety and finding bugs},
    volume = {78},
    year = {2013}
}

This work is not available online here.