Verifying OSEK/VDX OS Design Using Its Formal Specification.
Dieu-Huong VuYuki ChibaKenro YatakeToshiaki AokiPublished in: TASE (2016)
Keyphrases
- formal specification
- object oriented design
- specification languages
- model checking
- design methodology
- design process
- formal methods
- formal specification language
- specification language
- operating system
- user interface
- case study
- machine learning
- building blocks
- databases
- computer systems
- fine grained
- software development
- open source
- software engineering
- software design
- expert systems
- real world