Conditional Lemma Discovery and Recursion Induction in Hipster.
Paper i proceeding, 2015
Författare
Moa Johansson
Chalmers, Data- och informationsteknik, Programvaruteknik
Irene Lobo Valbuena
Chalmers, Data- och informationsteknik
Proceedings of the International Workshop on Automated Verification of Critical Systems (AVoCS). Electronic Communications of the EASST.
Vol. 72
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
DOI
10.14279/tuj.eceasst.72.1009.1000