Automated mutual induction proof in separation logic
Crossref DOI link: https://doi.org/10.1007/s00165-018-0471-5
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ta, Quang-Trung
Le, Ton Chanh
Khoo, Siau-Cheng
Chin, Wei-Ngan
Text and Data Mining valid from 2019-04-01
Article History
Received: 10 September 2017
Accepted: 5 September 2018
First Online: 11 October 2018