P systems based computing polynomials: design and formal verification.
Weitao YuanGexiang ZhangMario J. Pérez-JiménezTao WangZhiwei HuangPublished in: Nat. Comput. (2016)
Keyphrases
- formal verification
- automated verification
- building blocks
- model checking
- knowledge based systems
- design criteria
- case study
- bounded model checking
- management system
- functional verification
- software architecture
- design issues
- design tools
- ubiquitous computing and ambient intelligence
- program slicing
- symbolic model checking
- design requirements
- retrieval systems
- software engineering
- control system