Model Checking and Parametric Analyzing Railway Systems

Model Checking and Parametric Analyzing Railway Systems[J]. Journal of East China University of Science and Technology, 1999, (2): 182-187.

Citation:

Model Checking and Parametric Analyzing Railway Systems[J]. Journal of East China University of Science and Technology, 1999, (2): 182-187.

Citation:

Model Checking and Parametric Analyzing Railway Systems[J]. Journal of East China University of Science and Technology, 1999, (2): 182-187.

Abstract

This paper presents automatic verification techniques for railway systems. Trains and controllers are modeled as hybrid automata. Their properties are specified in ICTL. System correctness is automatically verified via model checking.Parametric analysis is also enabled by model checking technique.

FullText(HTML)

Export File