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

  • December 2019 (3)
  • October 2019 (1)
  • September 2019 (1)
  • August 2019 (1)
  • July 2019 (1)
  • June 2019 (3)
  • March 2019 (1)
  • 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

  • K vs. Coq as Language Verification Frameworks (Part 3 of 3)
  • K vs. Coq as Language Verification Frameworks (Part 2 of 3)
  • K vs. Coq as Language Verification Frameworks (Part 1 of 3)
  • A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
  • Runtime Verification joins the Enterprise Ethereum Alliance

Recent Comments

  • Bogdan Stanciu on Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
  • K vs. Coq as Language Verification Frameworks (Part 2 of 3) | RV Blog on K vs. Coq as Language Verification Frameworks (Part 3 of 3)
  • K vs. Coq as Language Verification Frameworks (Part 1 of 3) | RV Blog on K vs. Coq as Language Verification Frameworks (Part 2 of 3)
  • Formal Verification of Smart Contracts – 140℉ 60℃ on How Formal Verification of Smart Contracts Works
  • Les dernières avancées d’Ethereum 2.0 | BlockBlog on Formal Verification of Ethereum 2.0 Deposit Contract (Part I)

Meta

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