Pages that link to "Item:Q2248058"
From MaRDI portal
The following pages link to Loop summarization using state and transition invariants (Q2248058):
Displaying 6 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Precise quantitative information flow analysis -- a symbolic approach (Q2453114) (← links)
- Program security verification based on abstract invariants (Q2987193) (← links)
- Loop Summarization and Termination Analysis (Q3000639) (← links)
- A Lightweight Approach for Loop Summarization (Q3172925) (← links)
- The Spotlight Principle (Q5452606) (← links)