Abstract
The motive for adopting a formal method is an improved development process with resource savings, a reduced number of errors, and reduced time-to-market. That formal methods potentially can give these benefits is not very controversial since formal methods consider software construction just like construction in any other traditional engineering discipline: by model building and model analysis before construction and production takes place. A model is an abstraction of a system to be constructed with the advantage that it can be analysed thoroughly for its intended, and also unintended, design characteristics. This prior-to construction analysis is used in many traditional engineering disciples, e.g., in mechanics of materials in order to establish the solidity of constructions. It seems very likely that, with the appropriate methodology and tool support, prior-to construction analysis based on mathematics and logic is equally beneficial to use in software development as related methods are in traditional engineering disciplines.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London
About this chapter
Cite this chapter
Borälv, A., Stålmarck, G. (1999). Formal Verification in Railways. In: Hinchey, M.G., Bowen, J.P. (eds) Industrial-Strength Formal Methods in Practice. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-0523-7_15
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0523-7_15
Publisher Name: Springer, London
Print ISBN: 978-1-85233-640-0
Online ISBN: 978-1-4471-0523-7
eBook Packages: Springer Book Archive