Dataset - CKAN

Formal Verification of Distributed Algorithms using PlusCal-2

Designing sound algorithms for concurrent and distributed systems is subtle and challenging. These systems are prone to deadlocks and race conditions, which occur in...
- HTML

You can also access this registry using the API (see API Docs).