A Formal Verification Method for the SOPC Software.
Shan ZhouJinbo WangJiao JiaChi ZhangRuixue WangPublished in: IEEE Trans. Reliab. (2022)
Keyphrases
- verification method
- temporal logic
- model checking
- formal methods
- software systems
- requirements specification
- software development
- software platform
- software design
- real world
- reactive systems
- computer systems
- software package
- requirements engineering
- software implementation
- software developers
- software application
- formal representation
- formal model
- software architecture
- test cases
- source code
- artificial intelligence