Disproving Termination with Overapproximation (2014)
Attributed to:
Program Verification Techniques for Understanding Security Properties of Software
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/proceedings/15_cookA.pdf
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: Formal Methods in Computer-Aided Design 2014 (FMCAD 2014)