Cited By
View all- Ballabriga CForget JRuiz J(2022)Relational abstract interpretation of arrays in assembly codeFormal Methods in System Design10.1007/s10703-022-00399-359:1-3(103-135)Online publication date: 2-Oct-2022
- Chakraborty SGupta AUnadkat D(2022)Full-program induction: verifying array programs sans loop invariantsInternational Journal on Software Tools for Technology Transfer10.1007/s10009-022-00676-w24:5(843-888)Online publication date: 29-Sep-2022
- Chakraborty SGupta AUnadkat D(2021)Diffy: Inductive Reasoning of Array Programs Using Difference InvariantsComputer Aided Verification10.1007/978-3-030-81688-9_42(911-935)Online publication date: 15-Jul-2021
- Show More Cited By