Runtime verification has been around for over 20 years, with a substantial body of literature and numerous tools available. In the couple of decades we have been working within the area of runtime verification, we have witnessed and contributed to the growth of the field: the theoretical underpinnings, new verification techniques, new instrumentation strategies, development of tools, and their application in industrial case studies. The techniques refined over these past years feel ripe for adoption in industry and yet, while one can find various theoretical overviews and academic articles, a hands-on manual which guides the reader from zero knowledge to sufficient practical knowledge required to consider its use in industry is still sorely missing. Given how industry-friendly runtime verification is, lack of such a text is surprising and regretful.
نظرات کاربران