Incremental Invariant Generation for Compositional Design.

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

Browse the full TASE paper archive.