Formal Development and Verification of Reusable Component in PAR Platform.
Qimin HuJinyun XueZhen YouZhuo ChengZhengkang ZuoPublished in: SOFL+MSVL (2019)
Keyphrases
- formal methods
- software components
- component based development
- software engineering
- neural network
- formal analysis
- development process
- real time
- object oriented software
- model checking
- formal model
- rapid development
- st century
- formal specification
- development environment
- metadata
- artificial intelligence
- design considerations
- rapid prototyping
- formal verification
- core components
- reusable components
- case study