Auteur Müller-Olm, Markus
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
document électronique
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing[...]
