Pages that link to "Item:Q5429340"
From MaRDI portal
The following pages link to Leaping Loops in the Presence of Abstraction (Q5429340):
Displaying 4 items.
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Ranking function synthesis for bit-vector relations (Q2248069) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Smaller Abstractions for ∀CTL* without Next (Q5187833) (← links)