Sumanth Prabhu, S.; D’Souza, Deepak; Chakraborty, Supratik; Venkatesh, R.; Fedyukovich, Grigory Weakest precondition inference for non-deterministic linear array programs. (English) Zbl 07931429 Finkbeiner, Bernd (ed.) et al., Tools and algorithms for the construction and analysis of systems. 30th international conference, TACAS 2024, held as part of the European joint conferences on theory and practice of software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14571, 175-195 (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh Diffy: inductive reasoning of array programs using difference invariants. (English) Zbl 1493.68101 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 911-935 (2021). MSC: 68N30 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv