Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with l2d2
A curated list of projects in awesome lists tagged with l2d2 .
https://github.com/harmim/eurocast2022-deadlock-infer
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
concurrency deadlock deadlock-detection eurocast facebook-infer l2d2 paper static-analysis
Last synced: 13 Dec 2024
