Dataset - CKAN

Mechanized Formal Semantics and Verified Compilation for C++ Objects

C++ is one of the most widely used programming languages in practice, including for embedded critical software. Thus, it becomes interesting to apply formal methods to...
- HTML

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