Semiformal verification of temporal properties in automotive hardware dependent software.
Djones LettninPradeep Kumar NallaJörg BehrendJürgen RufJoachim GerlachThomas KropfWolfgang RosenstielVolker SchönknechtStephan ReitemeyerPublished in: DATE (2009)
Keyphrases
- temporal properties
- model checking
- formal methods
- hardware designs
- safety critical
- computer systems
- temporal logic
- hardware design
- software implementation
- low cost
- embedded systems
- hardware platforms
- hardware software
- possibility theory
- personal computer
- formal specification
- hardware implementation
- software systems
- knowledge based systems
- machine learning
- modeling language
- software development
- rough sets
- knowledge base
- decision making