search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
589 stars 34 forks source link

New model checker algorithm #410

Open eupp opened 1 month ago