KITTeL
From MaRDI portal
Cited in
(26)- MPI-CHECK
- iRankFinder
- 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
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops
- Runtime complexity analysis of logically constrained rewriting
- YASM
- ABC
- SIMGRID
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Automatically proving termination and memory safety for programs with pointer arithmetic
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- MoonWalker
- Ctrl
- monabs
- SACO
- Proving termination through conditional termination
- LoAT
- SimGridMC
- TiML
- Verifying procedural programs via constrained rewriting induction
- Termination Analysis of C Programs Using Compiler Intermediate Languages
- TcT
This page was built for software: KITTeL
