Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen
Topics & Concepts
Computer scienceInterlockingCorrectnessTrainScalabilityDistributed computingPosition (finance)Model checkingAlgorithmOperating systemReliability engineeringEngineeringGeographyCartographyFinanceEconomicsFormal Methods in VerificationModel-Driven Software Engineering TechniquesPetri Nets in System Modeling