Disproving Termination with Overapproximation (2014)

First Author: Cook, B
Attributed to:  Resource Reasoning funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceedings of the 14th International Conference on Formal Methods in Computer-Aided Design (FMCAD '14)