Checking Subsystem Safety Properties in Compositional Reachability Analysis.

Shing-Chi Cheung, Jeff Kramer

Browse the full ICSE paper archive.