Dataset - CKAN

Proofs by refinement of programs with pointers

The purpose of this thesis is to specify and prove programs with pointers, such as C programs, using refinement techniques. The proposed approach allows a compromise...
- HTML

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