Liss
From MaRDI portal
Software:32025
No author found.
Source code repository: https://github.com/thorstent/Liss
Related Items (4)
Introduction to Model Checking ⋮ 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
This page was built for software: Liss
