Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.
Anne E. HaxthausenAndreas A. KjærMarie Le BliguetPublished in: FM (2011)
Keyphrases
- formal methods
- knowledge based systems
- case study
- design tools
- technical issues
- software engineering
- historical perspective
- support systems
- management system
- distributed systems
- computer systems
- computer aided
- enabling technologies
- web services
- asynchronous circuits
- formal analysis
- human operators
- software developers
- software development