Abstraction Refinement for Termination
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 87-101
- https://doi.org/10.1007/11547662_8
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Termination of Polynomial ProgramsPublished by Springer Nature ,2005
- Shape Analysis by Predicate AbstractionPublished by Springer Nature ,2005
- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite ProgrammingPublished by Springer Nature ,2005
- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside MicrosoftPublished by Springer Nature ,2004
- Modular verification of software components in CPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Liveness Checking as Safety CheckingElectronic Notes in Theoretical Computer Science, 2002
- Practical Methods for Proving Program TerminationPublished by Springer Nature ,2002
- Using the Bandera Tool Set to Model-Check Properties of Concurrent Java SoftwarePublished by Springer Nature ,2001
- Synthesis of Linear Ranking FunctionsPublished by Springer Nature ,2001
- Partial Completeness of Abstract Fixpoint CheckingPublished by Springer Nature ,2000