Runtime Verification

17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Runtime Verification by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319675312
Publisher: Springer International Publishing Publication: September 4, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319675312
Publisher: Springer International Publishing
Publication: September 4, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.

The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.

The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 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.

More books from Springer International Publishing

Cover of the book Supply Chain Finance and Blockchain Technology by
Cover of the book Moral Panics, Mental Illness Stigma, and the Deinstitutionalization Movement in American Popular Culture by
Cover of the book Direct and Large-Eddy Simulation XI by
Cover of the book Cultural, Social, and Political Perspectives in Science Education by
Cover of the book Lightweight Cryptography for Security and Privacy by
Cover of the book Further Adventures of the Celestial Sleuth by
Cover of the book Fluid Flow in the Subsurface by
Cover of the book Advances in Brain Inspired Cognitive Systems by
Cover of the book Anticipation, Agency and Complexity by
Cover of the book Increased Biodiesel Efficiency by
Cover of the book From Classical to Modern Analysis by
Cover of the book Acute Muscle Injuries by
Cover of the book Global and Asian Perspectives on International Migration by
Cover of the book The Physics of Living Systems by
Cover of the book Very-high-energy Gamma-ray Observations of Pulsar Wind Nebulae and Cataclysmic Variable Stars with MAGIC and Development of Trigger Systems for IACTs by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy