Compositional Verification of Railway Interlockings: Comparison of Two Methods
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
Topics & Concepts
Computer scienceInterlockingFormal verificationFormal methodsModel checkingState spaceDecompositionRuntime verificationState (computer science)Theoretical computer scienceProgramming languageAlgorithmReliability engineeringMathematicsEcologyStatisticsEngineeringBiologyFormal Methods in VerificationModel-Driven Software Engineering TechniquesSafety Systems Engineering in Autonomy