D

dp4sl4malloc

Decision procedure for SL used in specification of memory allocators