A lightweight approach to nontermination inference using Constrained Horn Clauses
- 14 March 2024
- journal article
- research article
- Published by Springer Nature in Software and Systems Modeling
- Vol. 23 (2) , 1-24
Abstract
No abstract availableKeywords
This publication has 66 references indexed in Scilit:
- Lightweight Nontermination Inference with CHCs2021
- Cost Analysis of Smart Contracts Via Parametric Resource Analysis2020
- Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets2019
- Proving Termination of Programs Automatically with AProVELecture Notes in Computer Science, 2014
- Proving Non-termination Using Max-SMTLecture Notes in Computer Science, 2014
- Yices 2.22014
- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation2005
- Model Checking in CLP1999
- Analysis of Imperative Programs through Analysis of Constraint Logic Programs1998
- A Practical Theory of Programming1993