Formale Methoden im Reverse Engineering - Zynamics

zynamics.com

Formale Methoden im Reverse Engineering - Zynamics

Annahme der Existenz einer analysierten

Programmiersprache mit Wertemenge V

Teilmenge von V beschreibt zu jedem

Zeitpunkt den Programmzustand

Semantik der Sprache definiert

Wertübergänge

p

: v1

v2

Weitere Magazine dieses Users
Ähnliche Magazine