I’m interested in program verification for concurr...

# random

[okue]

I’m interested in program verification for concurrent programs in Java/Kotlin.
https://github.com/Kotlin/kotlinx-lincheck seems exciting.
Is there articles or papers to catch up this tool or formal ways against JVM programs? (sadly i cannot obtain papers for free…)