Automated mutual induction proof in separation logic
Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-NganLanguage:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-018-0471-5
Date:
October, 2018
File:
PDF, 2.04 MB
english, 2018