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 Cricket's Changing Ethos by
Cover of the book Smart Card Research and Advanced Applications by
Cover of the book Surgical Mentorship and Leadership by
Cover of the book Intelligent Robotics and Applications by
Cover of the book Climate Change, Ocean Acidification and Sponges by
Cover of the book Liminality, Hybridity, and American Women's Literature by
Cover of the book Global Stability through Decentralization? by
Cover of the book Evidence-Informed Assessment and Practice in Child Welfare by
Cover of the book Nanovate by
Cover of the book Advances in Dynamic and Mean Field Games by
Cover of the book Modelling the Upper Atmosphere of Gas-Giant Exoplanets Irradiated by Low-Mass Stars by
Cover of the book Realising the 'Triple Dividend of Resilience' by
Cover of the book Nanoscience in Food and Agriculture 5 by
Cover of the book Evolving Nature of Objectivity in the History of Science and its Implications for Science Education by
Cover of the book Infrastructure and Technology Management 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