Case Study: Formal Verification of a Computerized Railway Interlocking.
Arne BorälvPublished in: Formal Aspects Comput. (1998)
Keyphrases
- formal verification
- case study
- model checking
- model checker
- automated verification
- bounded model checking
- program slicing
- symbolic model checking
- lessons learned
- software development
- open source
- development process
- computer aided
- traffic management
- business process
- knowledge acquisition
- multi agent systems
- knowledge base