EAN: 9783030037680

RUNTIME VERIFICATION KARTONIERT (TB)

This book constitutes the refereed proceedings of the 18th International Conference on Runtime
Verification  RV 2018  held in Limassol  Cyprus  in November 2018. The 21 full papers presented
together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49
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 correctness  reliability  and robustness  these techniques are
significantly more powerful and versatile than conventional testing  and more practical than
exhaustive formal verification.Chapter Hardware-based Runtime Verification with Embedded
Tracing Units and Stream Processing is available open access under a Creative Commons
Attribution 4.0 International License via link.springer.com.

Aktuelle Preise zur EAN 9783030037680

Produktinformationen zur 9783030037680