Loopster++: Termination Analysis for Multi-path Linear Loop

2021 ◽  
pp. 479-497
Author(s):  
Hui Jin ◽  
Weimin Ge ◽  
Yao Zhang ◽  
Xiaohong Li ◽  
Zhidong Deng
Keyword(s):  
Termination Analysis

Termination Analysis for Active Rule Set Based on Triggering Path

2012 ◽  
Vol 35 (1) ◽  
pp. 65-75 ◽  
Author(s):  
Wei XIONG ◽  
Ye WU ◽  
Zhen ZHANG ◽  
Qiu-Yun WU
Keyword(s):  
Termination Analysis ◽  
Rule Set ◽  
Active Rule

scholarly journals Termination Analysis by Learning Terminating Programs

2014 ◽  
pp. 797-813 ◽  
Author(s):  
Matthias Heizmann ◽  
Jochen Hoenicke ◽  
Andreas Podelski
Keyword(s):  
Termination Analysis

scholarly journals Termination Analysis of Model Transformations by Petri Nets

2006 ◽  
pp. 260-274 ◽  
Author(s):  
Dániel Varró ◽  
Szilvia Varró–Gyapay ◽  
Hartmut Ehrig ◽  
Ulrike Prange ◽  
Gabriele Taentzer
Keyword(s):  
Petri Nets ◽  
Model Transformations ◽  
Termination Analysis

scholarly journals Termination Analysis by Dependency Pairs and Inductive Theorem Proving

2009 ◽  
pp. 322-338 ◽  
Author(s):  
Stephan Swiderski ◽  
Michael Parting ◽  
Jürgen Giesl ◽  
Carsten Fuhs ◽  
Peter Schneider-Kamp
Keyword(s):  
Theorem Proving ◽  
Termination Analysis ◽  
Inductive Theorem Proving ◽  
Dependency Pairs

Loopster: static loop termination analysis

2017 ◽  
Author(s):  
Xiaofei Xie ◽  
Bihuan Chen ◽  
Liang Zou ◽  
Shang-Wei Lin ◽  
Yang Liu ◽  
...  
Keyword(s):  
Termination Analysis
Sign in / Sign up

Export Citation Format

Share Document