Liss

MaRDI QIDQ32025swMATHFDO

Official website https://github.com/thorstent/Liss

Source code repository https://github.com/thorstent/Liss

Cited in

(9)

• Roslyn
• From non-preemptive to preemptive scheduling using synchronization synthesis
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Abstract semantic diffing of evolving concurrent programs
• jSpin
• TaskChecker
• ConRepair
• Limi
• Introduction to model checking

This page was built for software: Liss