A New Formal Verification Approach for Hardware-dependent Embedded System Software.
Bernard SchmidtCarlos VillarragaThomas FehmelJörg BormannMarkus WedlerMinh D. NguyenDominik StoffelWolfgang KunzPublished in: IPSJ Trans. Syst. LSI Des. Methodol. (2013)
Keyphrases
- formal verification
- model checking
- program slicing
- hardware design
- model checker
- computer systems
- symbolic model checking
- embedded systems
- automated verification
- hardware platforms
- hardware software
- hardware and software
- bounded model checking
- software implementation
- high end
- control software
- computer software
- personal computer
- software development
- artificial intelligence
- software architecture
- dedicated hardware
- control unit
- low cost
- computing platform
- real time
- computer hardware
- hardware implementation
- software systems
- computing systems
- software maintenance
- formal methods
- commercial off the shelf
- data acquisition