Essays about: "ke jiang"

Found 1 essay containing the words ke jiang.

  1. 1. Model Checking C Programs by Translating C to Promela

    University essay from Institutionen för informationsteknologi

    Author : Ke Jiang; [2009]
    Keywords : ;

    Abstract : Nowadays, the cost of program errors is increasing from day to day, so software reliability becomes a critical problem to the whole world. C is one of the most popular programming languages, and has been widely used for developing all types of software. READ MORE