Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Topics & Concepts
Formal methodsComputer scienceInteroperabilityKey (lock)Formal verificationNotationFormal specificationProcess (computing)Software engineeringEngineering managementProcess managementRisk analysis (engineering)Systems engineeringKnowledge managementComputer securityEngineeringWorld Wide WebBusinessMathematicsArithmeticAlgorithmOperating systemModel-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification