Combined Techniques of Static Analysis and Model Checking

  • Zhang, Fuyuan (PhD Student)
  • Nielson, Flemming (Main Supervisor)
  • Probst, Christian W. (Examiner)
  • Dam, Mads (Examiner)
  • Huth, Michael (Examiner)
  • Nielson, Hanne Riis (Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/09/2009 → 22/11/2012

    Funding

    • 1/3 FUU, 1/3 inst 1/3 Andet

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
    View full fingerprint
    • 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/Report › Ph.D. thesis

      Open Access
      File
      432 Downloads (Pure)