Dataset - CKAN

Certification of static analysis in many-sorted first-order logic

Static program analysis is a core technology for both verifying and finding errors in programs but most static analyzers are complex pieces of software that are not...
- HTML

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