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...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 23; no. 2; pp. 255 - 284
Main Authors:	Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2021 Springer Nature B.V
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!