Runtime Verification
Produktnummer:
1829f01361e2974264a6df33426799c841
Themengebiete: | dynamic analysis enforcement fault protection hardware monitoring predictive monitoring program instrumentation program specification runtime monitoring runtime verification specification mining |
---|---|
Veröffentlichungsdatum: | 04.10.2019 |
EAN: | 9783030320782 |
Sprache: | Englisch |
Seitenzahl: | 413 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Finkbeiner, Bernd Mariani, Leonardo |
Verlag: | Springer International Publishing |
Untertitel: | 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings |
Produktinformationen "Runtime Verification"
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen