Checking Properties of Imperative Programs

Yasemin Bekiroglu

Studenteropgave: Semesterprojekt

Abstrakt

Checking whether or not a program written in an imperative language reaches specified error states or not is examined in this work. The method used includes the approximation of the states reachable from a given initial state and a translation int oconstraint logic.

UddannelserDatalogi, (Bachelor/kandidatuddannelse) Kandidat
SprogEngelsk
Udgivelsesdato1 jun. 2005
VejledereJohn Patrick Gallagher

Emneord

  • Abstract Interpretation, Model Checker, Constraint Logic, Visitors