✦ LIBER ✦

Runtime verification of microcontroller binary code

✍ Scribed by Reinbacher, Thomas; Brauer, Jörg; Horauer, Martin; Steininger, Andreas; Kowalewski, Stefan

Book ID: 122779410
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 866 KB
Volume: 80
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2012.10.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A brief account of runtime verification

✍ Martin Leucker; Christian Schallhart 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 170 KB

Application of static analyses for state

Application of static analyses for state-space reduction to the microcontroller binary code

✍ Bastian Schlich; Jörg Brauer; Stefan Kowalewski 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 609 KB

This paper describes the application of two abstraction techniques, namely dead variable reduction and path reduction, to the microcontroller binary code in order to tackle the state-explosion problem in model checking. These abstraction techniques are based on static analyses, which have to cope wi

Runtime verification of concurrency-spec

Runtime verification of concurrency-specific correctness criteria

✍ Shaz Qadeer, Serdar Tasiran 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 570 KB

Runtime verification and monitoring of e

Runtime verification and monitoring of embedded systems

✍ Watterson, C.; Heffernan, D. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 346 KB

UML interaction model-driven runtime ver

UML interaction model-driven runtime verification of Java programs

✍ Li, X.; Qiu, X.; Wang, L.; Chen, X.; Zhou, Z.; Yu, L.; Zhao, J. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 400 KB

An Overview of the Runtime Verification

An Overview of the Runtime Verification Tool Java PathExplorer

✍ Klaus Havelund; Grigore Roşu 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 181 KB