SAVCBS: Specification and Verification of Component-Based Systems

What does SAVCBS mean? The above is one of SAVCBS meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Specification and Verification of Component-Based Systems