Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann. A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. In Christian Haubelt, Dirk Timmermann, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. pages 49-60, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 2013.
@inproceedings{SchmidtVFSKB13, title = {A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software}, author = {Bernard Schmidt and Carlos Villarraga and Thomas Fehmel and Dominik Stoffel and Wolfgang Kunz and Jörg Bormann}, year = {2013}, researchr = {https://researchr.org/publication/SchmidtVFSKB13}, cites = {0}, citedby = {0}, pages = {49-60}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013}, editor = {Christian Haubelt and Dirk Timmermann}, publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock}, isbn = {978-3-86009-147-0}, }