See also: "lincheck" by Jetbrains https://github.com/JetBrains/lincheck https://github.com/JetBrains/lincheck Toolkit for automatically deriving linearizabili

See also: "lincheck" by Jetbrains https://github.com/JetBrains/lincheck https://github.com/JetBrains/lincheck Toolkit for automatically deriving linearizability proofs for Concurrent Data Structures/Primtives. https://blog.jetbrains.com/kotlin/2021/02/how-we-test-concurrent-primitives-in-kotlin-coroutines/ https://blog.jetbrains.com/kotlin/2021/02/how-we-test-concur...