CommonJVM
lincheck
Framework for testing concurrent algorithms on the JVM. Enables declarative test specification, automatically generates random scenarios, and verifies correctness properties using stress-testing or model checking.
| Package | Supported platforms & targets | |
|---|---|---|
| org.jetbrains.kotlinx:lincheck:2.34 | Common, JVM / (1 target) | Details |
Metadata
Latest release
2 months ago
2.34
- 586 stars
- Created 5 years ago
- 87 open issues
- Latest activity: 3 days ago
Links
License
- Mozilla Public License 2.0
Updated 7 hours ago
