Number of items: 2.
Conference Paper
Sumanth Prabhu, S and Fedyukovich, G and D�Souza, D
(2024)
Maximal Quantified Precondition Synthesis for Linear Array Loops.
In: UNSPECIFIED, pp. 245-274.
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.
This list was generated on Sun Dec 22 00:21:49 2024 IST.
