Menu

Skip to content
  • All Posts
  • K
  • RV-Match
  • RV-Monitor
  • RV-Predict
  • News
  • Other

RV Blog: Thoughts on runtime verification and software quality from leaders in the field.

Testing Tomcat using RV-Predict

Posted on November 16, 2015April 5, 2018 by Yilong Li

This is our second post on hunting data races in real-world applications using RV-Predict. As promised in our previous post, we are now going after the big-name projects! This time our test subject is Apache Tomcat, which is arguably the most popular Java application server at the time being.

Continue reading →

Posted in RV-Predict 7 Comments

Archives

  • November 2018 (2)
  • September 2018 (1)
  • August 2018 (1)
  • July 2018 (1)
  • May 2018 (1)
  • March 2018 (1)
  • February 2018 (1)
  • December 2017 (3)
  • October 2017 (2)
  • September 2017 (3)
  • August 2017 (1)
  • July 2017 (2)
  • May 2017 (1)
  • February 2017 (1)
  • October 2016 (1)
  • September 2016 (1)
  • August 2016 (1)
  • June 2016 (1)
  • May 2016 (1)
  • December 2015 (1)
  • November 2015 (1)
  • August 2015 (1)
  • July 2015 (2)
  • May 2015 (1)
  • April 2015 (1)

Categories

  • Careers
  • K
  • News
  • Other
  • RV-Match
  • RV-Monitor
  • RV-Predict
  • Smart Contracts
  • Verification

Recent Posts

  • Runtime Verification goes multinational by opening Bucharest based subsidiary
  • Runtime Verification Completes Initial Formal Verification of Ethereum Casper Protocol
  • ERC777-K: Formal Executable Specification of ERC777
  • Formal verification of ERC-20 contracts
  • How Formal Verification of Smart Contracts Works

Recent Comments

  • Patrick MacKay on K Framework – An Overview
  • Patrick MacKay on K Framework Enables Verification of Smart Contracts
  • Patrick MacKay on Runtime Verification goes multinational by opening Bucharest based subsidiary
  • Wayne on Runtime Verification goes multinational by opening Bucharest based subsidiary
  • Reuben Gellert on Testing Tomcat using RV-Predict

Meta

  • Register
  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Proudly powered by WordPress | Theme: Kelly by WordPress.com.