Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.
Hoda MehrpouyanDimitra GiannakopoulouGuillaume BratIrem Y. TumerChris HoylePublished in: Syst. Eng. (2016)
Keyphrases
- complex systems
- reasoning systems
- automated reasoning
- user interface
- formal methods
- software architecture
- reason maintenance
- design issues
- automated verification
- multi agent systems
- design process
- learning systems
- building blocks
- design criteria
- knowledge based systems
- model based reasoning
- technical systems
- interactive systems
- computer aided
- formal verification
- embedded systems
- information systems
- retrieval systems
- computer systems
- intelligent systems
- case study