Up a level |
Sumanth Prabhu, S and DâSouza, D and Chakraborty, S and Venkatesh, R and Fedyukovich, G (2024) Weakest Precondition Inference for Non-Deterministic Linear Array Programs. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, 6 April 2024 - 11 April 2024, Luxembourg City, pp. 175-195.
Haque, I and DâSouza, D and Habeeb, P and Kundu, A and Babu, G (2020) Verification of a Generative Separation Kernel. In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, 19-23 October 2020, Hanoi; Viet Nam, pp. 305-322.