Proving non-termination
Authors:
Open Access
- 7 January 2008
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 43 (1) , 147-158
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Monitoring Interfaces for FaultsElectronic Notes in Theoretical Computer Science, 2006
- Mondrix2005
- CUTE2005
- The Polyranking Principle2005
- Efficient Monitoring of ω-LanguagesLecture Notes in Computer Science, 2005
- Cogent: Accurate Theorem Proving for Program VerificationLecture Notes in Computer Science, 2005
- Saturn: A SAT-Based Tool for Bug Detection2005
- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming2005
- Non-linear loop invariant generation using Gröbner bases2004
- Mondrian memory protection2002