KITTeL
From MaRDI portal
swMATH17045MaRDI QIDQ28906FDOQ28906
Author name not available (Why is that?)
Official website: http://termination-portal.org/wiki/Tools:KITTeL
Cited In (25)
- Termination Analysis of C Programs Using Compiler Intermediate Languages
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops
- Verifying procedural programs via constrained rewriting induction
- Proving termination through conditional termination
- Runtime complexity analysis of logically constrained rewriting
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
- ARMC
- TERMINATOR
- Gauss
- ABC
- YASM
- SIMGRID
- MoonWalker
- Ctrl
- monabs
- SACO
- LoAT
- SimGridMC
- TiML
- Automatically proving termination and memory safety for programs with pointer arithmetic
- TcT
- iRankFinder
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
This page was built for software: KITTeL
