✦ LIBER ✦

A brief account of runtime verification

✍ Scribed by Martin Leucker; Christian Schallhart

Book ID: 113720672
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 170 KB
Volume: 78
Category: Article
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2008.08.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Runt

[Lecture Notes in Computer Science] Runtime Verification Volume 7186 || Runtime Verification: A Computer Architecture Perspective

✍ Khurshid, Sarfraz; Sen, Koushik 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 164 KB

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations

Runtime verification of microcontroller

Runtime verification of microcontroller binary code

✍ Reinbacher, Thomas; Brauer, Jörg; Horauer, Martin; Steininger, Andreas; Kowalews 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 866 KB

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