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
19 days ago
2.34
- 576 stars
- Created 5 years ago
- 81 open issues
- Latest activity: 2 days ago
Links
License
- Mozilla Public License 2.0
Updated 11 hours ago
