Verification of Asynchronous Systems with an Unspecified Component

Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi

Component-based systems evolve as a new component is added or an existing one is replaced by a newer version. Hence, it is appealing to assure the new system still preserves its sa…