Number of items: 2.
Conference Paper
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.
This list was generated on Fri Sep 20 14:05:29 2024 IST.
