Publication | Closed Access

A state/event-based model-checking approach for the analysis of abstract system properties

EngineeringFormal ModelingProgram AnalysisAutomated ReasoningSoftware TestingVerificationAbstract System PropertiesFormal MethodsSoftware AnalysisSystems EngineeringState/event-based Model-checking ApproachFormal TechniqueModel AbstractionModel CheckingFormal VerificationSoftware DesignSystem Specification