Dataset - CKAN

Distributed On-the-Fly Verification of Large State Spaces

The verification of concurrent finite-state systems is confronted in practice with the state explosion problem (prohibitive size of the underlying state space), which...
- HTML

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