Home | Legals | Data Protection | Sitemap | KIT

Research Group "Verification Meets Algorithm Engineering" at the Theoretical Computer Science Department

Buffer-Overflow-Analyse mittels Bounded Model Checking

chair:	Software-Verifikation
type:	Diplomarbeit
tutor:	Ph.D. Carsten Sinz
person in charge:	N.N.

last change: 2010-03-10 KIT – The Research University in the Helmholtz Association