Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.
Xiaohong ChenJuan ZhangZhi JinMin ZhangTong LiXiang ChenTingliang ZhouPublished in: IEEE Trans. Intell. Transp. Syst. (2023)
Keyphrases
- formal methods
- domain experts
- safety critical
- knowledge acquisition
- domain knowledge
- development lifecycle
- formal analysis
- domain specific
- knowledge based systems
- model checking
- model checker
- process algebra
- software engineering
- expert knowledge
- formal specification
- human experts
- artificial intelligence
- knowledge base
- semi automatically
- knowledge elicitation
- clinical data
- domain dependent
- machine learning
- expert systems
- real world
- temporal logic
- domain independent
- modeling language
- software systems
- case study
- formal verification
- decision trees