A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 179-189
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Validation Coverage for a Component-based SDL model of a Railway Signaling SystemElectronic Notes in Theoretical Computer Science, 2005
- An Operational Semantics for Stateflow2004
- Modelling and Validating a multiple-configuration railway signalling system using SDLElectronic Notes in Theoretical Computer Science, 2003
- Symbolic Model Checking1993
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987