Skip to content

Latest commit

 

History

History
executable file
·
17 lines (11 loc) · 782 Bytes

README.md

File metadata and controls

executable file
·
17 lines (11 loc) · 782 Bytes
Raw

Lincheck++

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.

Introduction

To be added.

References

[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.

Acknowledgements

This is a fork of the Lincheck framework by JetBrains.