Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich

Browse the full TACAS paper archive.