GitHub repository: AlexRogalskiy/kotlinx-lincheck
Description: Framework for testing concurrent data structures