Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic.
Shiladitya GhoshArindam DasNirvik BasakPallab DasguptaAlok KatiyarPublished in: IEEE Trans. Intell. Transp. Syst. (2017)
Keyphrases
- formal methods
- model checker
- formal analysis
- model checking
- software engineering
- knowledge based systems
- formal specification
- artificial intelligence
- development lifecycle
- logic programming
- process algebra
- machine learning
- regression testing
- safety critical
- temporal logic
- modal logic
- software systems
- test suite
- test cases
- case study
- temporal properties