Incremental component-based construction and verification using invariants.

Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

Browse the full FMCAD paper archive.