by Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Range Analysis of Microcontroller Code using Bit-Level Congruences (Jörg Brauer, Andy King, Stefan Kowalewski), In Formal Methods for Industrial Critical Systems (FMICS 2010), Antwerp, Belgium, Springer, volume 6371, 2010.
Bibtex Entry:
@inproceedings { BKK10,
author = { Brauer, J{"o}rg and King, Andy and Kowalewski, Stefan },
title = { Range Analysis of Microcontroller Code using Bit-Level
Congruences },
booktitle = { Formal Methods for Industrial Critical Systems (FMICS 2010),
Antwerp, Belgium },
publisher = { Springer },
series = { Lecture Notes in Computer Science },
year = { 2010 },
volume = { 6371 },
pages = { 82--98 },
timestamp = { 2010.06.08 },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk10.pdf },
i11key = { conference },
i11projectkey = { Arcade },
for_reporting_period = { 2010 },
}