Verification of Component-based Systems with Recursive Architectures

Marius Bozga, Radu Iosif, Joseph Sifakis

We study a sound verification method for parametric component-based systems. The method uses a resource logic, a new formal specification language for distributed systems consistin…