Compositional Verification for Component-Based Systems and Application.

Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen

Browse the full ATVA paper archive.