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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SIES.2008.4577709 | Le Grande Motte |
Keywords | Field | DocType |
embedded systems,formal verification,assembly code,embedded model checking,embedded systems,software verification,verification process | Model checking,Embedded software,Computer architecture simulator,Computer science,Simulation,Assembly language,Real-time computing,Software system,Software,Formal verification,Software verification | Conference |
ISBN | Citations | PageRank |
978-1-4244-1995-1 | 3 | 0.41 |
References | Authors | |
11 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Reinbacher | 1 | 70 | 7.21 |
Martin Krämer | 2 | 33 | 5.93 |
Martin Horauer | 3 | 64 | 13.46 |
Bastian Schlich | 4 | 214 | 17.98 |