Automatic Constrained Rewriting Induction towards Verifying Procedural Programs

Cynthia Kop and Naoki Nishida
Proceedings of the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), Lecture Notes in Computer Science 8858, pp. 334 – 353, 2014.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-12736-1_18  
© Springer International Publishing Switzerland