Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.

Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani

Browse the full FM paper archive.