Formal Specification and Verification of Dynamic Parametrized Architectures.

Alessandro Cimatti, Ivan Stojic, Stefano Tonetta

Browse the full FM paper archive.