Essays about: "Athanasios Karetsos"
Found 1 essay containing the words Athanasios Karetsos.
-
1. Extracting analyzable models from multi-threaded programs
University essay from Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolanAbstract : 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
Result pages:
1