Liss

swMATH20205MaRDI QIDQ32025FDOQ32025

Author name not available (Why is that?)

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

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

Cited In (9)

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

This page was built for software: Liss