An End-to-end Formal Verifier for Parallel Programs.

Soumyadip Bandyopadhyay, Santonu Sarkar, Kunal Banerjee

Browse the full ICSoft paper archive.