Projekttitel: Visualisering af analyse resultater
Kontaktperson: Hanne Riis Nielson,
bygning 322.007, hrn@imm.dtu.dk
Beskrivelse: Ved brug af Succinct Solver værktøjet kan man ud fra et
program konstruere et antal relationer som beskriver en approximation af
programmets dynamiske opførsel. Formålet med dette projekt er at konstruere et
modul til visualisering af disse approximationer. Der vil ikke være behov for
special kendskab til Succinct Solver værktøjet idet modulet blot vil have et
interface til en repræsentation af de relationer der genereres.
Forudsætninger: Informatikfagpakken
Ønskelige forudsætninger: 02140