Mahmudul Faisal Al Ameen

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Mahmudul Faisal Al Ameen

Mahmudul Faisal Al Ameen: completeness of separation logic, mostly with Tatsuta - pointer programs, recursive procedures, expressiveness. The 2016 TCS paper and the thesis of that year are separate records, linked distinct-from.

Completeness and expressiveness of pointer program verification by separation logic

Makoto Tatsuta and others (2019) · Information and Computation · Elsevier

Completeness for recursive procedures in separation logic

Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier

Completeness of Verification System with Separation Logic for Recursive Procedures

Mahmudul Faisal Al Ameen (2016) · The Graduate University for Advanced Studies, SOKENDAI

Completeness of Pointer Program Verification by Separation Logic

Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE