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}
}