The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Challenges in embedded model checking — a simulator for the [mc]square model checker
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Model checking is considered a promising approach for the verification of software for embedded systems. Generating system models that are close to real-life behavior, however, is challenging. As a result, in some approaches a model can be automatically constructed out of the assembly code along with an appropriate target simulator/debugger. The implementation of the latter is crucial for the entire verification process. To that end, this paper presents requirements and challenges that arise when implementing and verifying such a simulator for the [mc]square model checker from the RWTH Aachen University.
@misc{reinbacher2008challenges,
title = {Challenges in embedded model checking — a simulator for the [mc]square model checker},
author = {Thomas Reinbacher and Michael Kramer and Martin Horauer and Bastian Schlich},
year = {2008},
journal = {International Symposium on Industrial Embedded Systems},
pages = {245--248},
doi = {10.1109/sies.2008.4577709},
}