Dataset - CKAN

Modular termination of C programs

In this paper we describe a general method to prove termination of C programs in a scalable and modular way. The program to analyse is reduced to the smallest relevant...
- HTML

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