View in EDS

Completeness and expressiveness of pointer program verification by separation logic.

Saved in:
Bibliographic Details
Title: Completeness and expressiveness of pointer program verification by separation logic.
Authors: Tatsuta, Makoto1, tatsuta@nii.ac.jp, Chin, Wei-Ngan2, chinwn@comp.nus.edu.sg, Al Ameen, Mahmudul Faisal2, mahmudulfaisal@gmail.com
Source: Information & Computation; Aug2019, Vol. 267, p1-27, 27p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first