Publications

Ecker, Wolfgang; Esen, Volkan; Steininger, Thomas; Zambaldi, Martin: Mem. Models for the Formal Verif. of Assembler Code Using Bounded Model Checking. In: ISORC, Wien, 28 Oct 2004

files

paper.pdf

Bibtex

@inproceedings{hniid=2037,
author = {Ecker, Wolfgang and Esen, Volkan and Steininger, Thomas and Zambaldi, Martin},
title = {Mem. Models for the Formal Verif. of Assembler Code Using Bounded Model Checking},
booktitle = {ISORC},
address = {Wien},
month = {28~} # oct,
year = {2004},
}