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 Poststructural and Narrative Thinking in Family Therapy by
Cover of the book Linguistic and Psycholinguistic Approaches on Implicatures and Presuppositions by
Cover of the book Lévy Matters IV by
Cover of the book Pericyte Biology in Disease by
Cover of the book The Occult in Modernist Art, Literature, and Cinema by
Cover of the book Rare Metal Technology 2018 by
Cover of the book Clinician's Guide to Mycosis Fungoides by
Cover of the book Sensors and Instrumentation, Volume 5 by
Cover of the book Autoethnographies on the Environment and Human Health by
Cover of the book Security Privatization by
Cover of the book Harmonic and Complex Analysis in Several Variables by
Cover of the book Ten Laws for Security by
Cover of the book Biocultural Diversity in Europe by
Cover of the book Derivative-Free and Blackbox Optimization by
Cover of the book Air Pollution Modeling and its Application XXV 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