Publication | Closed Access

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

EngineeringVerificationSoftware EngineeringTelecommunication ApplicationSoftware AnalysisFormal VerificationSystems EngineeringReal-time CommunicationLive Sequence ChartsRuntime VerificationFormal ModelingComputer EngineeringComputer ScienceSoftware DesignSoftware VerificationProgram AnalysisPlay-engine ToolSoftware TestingIndustrial InformaticsSystem SoftwareSystem Specification