Sökning: "Ke Jiang"

Hittade 1 uppsats innehållade orden Ke Jiang.

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

    Master-uppsats, Institutionen för informationsteknologi

    Författare :Ke Jiang; [2009]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER