Bugs Found through RV-Predict

RV-Predict has found hundreds of concurrency bugs in widely deployed open source and proprietary softwares. Below is the list of bugs we have reported so far:

ProjectBugs ReportedProject Version
eclipse>504.5 Mars

Apache Tomcat

K framework>203.5

Interested in trying RV-Predict on your project? See the RV-Predict project page for more information.

Leave a Reply

Your email address will not be published. Required fields are marked *