QED: a proof system based on reduction and abstraction for the static verification of concurrent software.

Tayfun Elmas

Browse the full ICSE paper archive.