DMCA

Verifying Temporal Heap Properties Specified Via Evolution Logic (2003)

by Eran Yahav , Thomas Reps , Mooly Sagiv , Reinhard Wilhelm
Venue:IN ESOP’2003: EUROPEAN SYMP. ON PROGRAMMING, VOLUME 2618 OF LNCS
Citations:33 - 3 self