Lincheck++ is a framework that extends the capabilities of Lincheck, a user-friendly and practical tool for testing concurrent algorithms on the JVM. It is enhanced by the Trust algorithm[1], which is a state-of-the-art optimal stateless model checking algorithm designed specifically for concurrent programs.

To be added.

[1] Kokologiannakis, Michalis, Iason Marmanis, Vladimir Gladstein, and Viktor Vafeiadis. Truly stateless, optimal dynamic partial order reduction. Proceedings of the ACM on Programming Languages 6, no. POPL (2022): 1-28.

This is a fork of the Lincheck framework by JetBrains.