Runtime verification of train control systems with parameterized modal live sequence charts
Ming Chai, Haifeng Wang, Tao Tang, Hongjie Liu
Topics & Concepts
Parameterized complexityComputer scienceSequence (biology)Specification languageModalProgramming languageRuntime verificationReal-time computingFormal verificationAlgorithmPolymer chemistryChemistryGeneticsBiologyFormal Methods in VerificationSoftware Testing and Debugging TechniquesAdvanced Software Engineering Methodologies