Combined Techniques of Static Analysis and Model Checking

    Project Details

    StatusFinished
    Effective start/end date01/09/200922/11/2012

    Research Output

    • 1 Ph.D. thesis

    Model Checking as Static Analysis

    Zhang, F., 2012, Kgs. Lyngby: Technical University of Denmark. 174 p. (IMM-PHD-2012; No. 280).

    Research output: Book/ReportPh.D. thesis

    Open Access
    File