Posts by Yilong Li
Testing Tomcat using RV-Predict
By Yilong LiNovember 16th, 2015
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Testing K Framework using RV-Predict
By Yilong LiAugust 30th, 2015
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Detecting popular data races in Java using RV-Predict
By Yilong LiJuly 25th, 2015
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
