Sökning: "Athanasios Karetsos"
Hittade 1 uppsats innehållade orden Athanasios Karetsos.
1. Extracting analyzable models from multi-threaded programs
Master-uppsats, Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolanSammanfattning : 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. LÄS MER
Resultatsidor:
1