Pages that link to "Item:Q5711515"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5711515):
Displaying 16 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Proving termination of nonlinear command sequences (Q470005) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- Automated termination analysis of polynomial probabilistic programs (Q2233477) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- A second-order formulation of non-termination (Q2353638) (← links)
- An Iterative Method for Generating Loop Invariants (Q3004678) (← links)
- Termination of Single-Path Polynomial Loop Programs (Q3179389) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Proving Termination of Integer Term Rewriting (Q3636817) (← links)
- Automata-Based Termination Proofs (Q3637353) (← links)
- (Q5020657) (← links)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (Q5191108) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)
