Dataset - CKAN

Semantic foundations of intermediate program representations

An end-to-end guarantee of software correctness by formal verification must consider two sources of bugs. First, the verification tool must be correct. Second,...
- HTML

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