Using hypersafety verification for proving correctness of programming assignments.

Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh

Browse the full ICSE paper archive.