Pages that link to "Item:Q5410712"
From MaRDI portal
The following pages link to An Abstract Domain to Infer Ordinal-Valued Ranking Functions (Q5410712):
Displayed 3 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)