Specification, Verification and Design of Evolving Automotive Software: Invited.
S. RameshBirgit Vogel-HeuserWanli ChangDebayan RoyLicong ZhangSamarjit ChakrabortyPublished in: DAC (2017)
Keyphrases
- formal verification
- software design
- formal methods
- user interface
- design concepts
- software architecture
- case study
- software development
- hardware design
- tool suite
- software systems
- model checking
- engineering design
- software maintenance
- design patterns
- design process
- development process
- safety critical
- software engineering
- development lifecycle
- hardware designs