support the following functionality:
u Model-Checking: The SSAI’s model checking involves building a statebased model of the system, identifying properties to be verified, and
checking the model for violations of specified properties. Its flexible
modeling framework features adaptability to early life cycle events. The