Modular specification and verification of interprocess communication.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev

Browse the full FMCAD paper archive.