Essays about: "Athanasios Karetsos"

Found 1 essay containing the words Athanasios Karetsos.

  1. 1. Extracting analyzable models from multi-threaded programs

    University essay from Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolan

    Author : Athanasios Karetsos; [2015]
    Keywords : ;

    Abstract : As technology evolves, the need to use software for critical applications increases. It is then required that this software will always behave correctly. Verification is the process of formally proving that a program is correct. READ MORE