A taxonomy for classifying runtime verification tools

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and practical tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In th...

Celý popis

Podrobná bibliografie

Vydáno v:	International journal on software tools for technology transfer Ročník 23; číslo 2; s. 255 - 284
Hlavní autoři:	Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2021 Springer Nature B.V
Témata:	Classification Computer Science Software Engineering Software Engineering/Programming and Operating Systems Taxonomy Theory of Computation Verification Mindmap Taxonomy Runtime verification Classification Tool
ISSN:	1433-2779, 1433-2787
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!