A Model Checking Based Software Requirements Specification Approach for Embedded Systems.
Xiao YangXiaohong ChenJiangtao WangPublished in: REW (2023)
Keyphrases
- embedded systems
- model checking
- requirements specification
- software systems
- temporal logic
- formal specification
- software engineering
- specification language
- requirements engineering
- hardware software
- software requirements
- embedded software
- low cost
- real time systems
- model checker
- formal methods
- formal verification
- verification method
- symbolic model checking
- software development
- automated verification
- embedded real time systems
- software design
- computation tree logic
- epistemic logic
- development process
- bounded model checking
- software architecture
- reactive systems
- software components
- design patterns
- source code
- software testing
- database
- planning domains
- business processes
- knowledge based systems
- open source
- knowledge base
- real time