Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.

Farn Wang

Browse the full RTCSA paper archive.