KITTeL
From MaRDI portal
Software:28906
swMATH17045MaRDI QIDQ28906FDOQ28906
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
- Proving Termination Through Conditional Termination
- 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
- Verifying Procedural Programs via Constrained Rewriting Induction
This page was built for software: KITTeL
