TY - GEN
T1 - Runtime verification at work
T2 - 16th International Conference on Runtime Verification, RV 2016
AU - Daian, Philip
AU - Guth, Dwight
AU - Hathhorn, Chris
AU - Li, Yilong
AU - Pek, Edgar
AU - Saxena, Manasvi
AU - Şerbănuţă, Traian Florin
AU - Roşu, Grigore
N1 - Publisher Copyright:
© Springer International Publishing AG 2016.
PY - 2016
Y1 - 2016
N2 - We present a suite of runtime verification tools developed by Runtime Verification Inc.: RV-Match, RV-Predict, and RV-Monitor. RV-Match is a tool for checking C programs for undefined behavior and other common programmer mistakes. It is extracted from the most complete formal semantics of the C11 language and beats many similar tools in its ability to catch a broad range of undesirable behaviors. RVPredict is a dynamic data race detector for Java and C/C++ programs. It is perhaps the only tool that is both sound and maximal: it only reports real races and it can find all races that can be found by any other sound data race detector analyzing the same execution trace. RV-Monitor is a runtime monitoring tool that checks and enforces safety and security properties during program execution. Our tools focus on reporting no false positives and are free for non-commercial use.
AB - We present a suite of runtime verification tools developed by Runtime Verification Inc.: RV-Match, RV-Predict, and RV-Monitor. RV-Match is a tool for checking C programs for undefined behavior and other common programmer mistakes. It is extracted from the most complete formal semantics of the C11 language and beats many similar tools in its ability to catch a broad range of undesirable behaviors. RVPredict is a dynamic data race detector for Java and C/C++ programs. It is perhaps the only tool that is both sound and maximal: it only reports real races and it can find all races that can be found by any other sound data race detector analyzing the same execution trace. RV-Monitor is a runtime monitoring tool that checks and enforces safety and security properties during program execution. Our tools focus on reporting no false positives and are free for non-commercial use.
UR - http://www.scopus.com/inward/record.url?scp=84990202513&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84990202513&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-46982-9_5
DO - 10.1007/978-3-319-46982-9_5
M3 - Conference contribution
AN - SCOPUS:84990202513
SN - 9783319469812
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 46
EP - 67
BT - Runtime Verification - 16th International Conference, RV 2016, Proceedings
A2 - Falcone, Yliès
A2 - Sánchez, César
PB - Springer
Y2 - 23 September 2016 through 30 September 2016
ER -